A Note on Expressiveness of Process Algebra.
Iain PhillipsPublished in: Theory and Formal Methods (1993)
Keyphrases
- process algebra
- formal specification
- concurrent systems
- model checking
- asynchronous circuits
- formal methods
- web services composition
- communication protocols
- concurrent programs
- expressive power
- petri net
- grid workflow
- temporal logic
- distributed systems
- formal languages
- quality of service
- source code
- knowledge base
- artificial intelligence
- machine learning