Stochastic Process Algebra with Value-Passing.
Guang ZhengJinzhao WuLian LiPublished in: CSSE (3) (2008)
Keyphrases
- process algebra
- concurrent systems
- formal specification
- asynchronous circuits
- formal methods
- model checking
- web services composition
- communication protocols
- concurrent programs
- grid workflow
- petri net
- temporal logic
- distributed systems
- artificial intelligence
- quality of service
- programming environment
- wireless networks
- software engineering
- real time