Value-passing CCS for Trees: A Theory for Concurrent Systems.
Shichao LiuYing JiangPublished in: CoRR (2015)
Keyphrases
- concurrent systems
- temporal logic
- process algebra
- distributed systems
- model checking
- formal specification
- theoretical framework
- transition systems
- general theory
- theoretical basis
- decision trees
- tree models
- data sets
- tree structure
- business process
- computational model
- access control
- asynchronous circuits
- real time
- database