A Generic Process Algebra.
Jos C. M. BaetenMario BravettiPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- process algebra
- concurrent systems
- asynchronous circuits
- formal specification
- model checking
- formal methods
- web services composition
- communication protocols
- concurrent programs
- grid workflow
- petri net
- artificial intelligence
- general purpose
- database
- programming environment
- web service composition
- distributed systems
- high level
- real time