Modular Specifications in Process Algebra with Curious Queues.
Rob J. van GlabbeekFrits W. VaandragerPublished in: Algebraic Methods (1987)
Keyphrases
- process algebra
- formal specification
- concurrent systems
- asynchronous circuits
- model checking
- temporal logic
- distributed systems
- concurrent programs
- petri net
- grid workflow
- communication protocols
- formal methods
- web services composition
- knowledge acquisition
- reverse engineering
- protocol specification
- artificial intelligence
- software components
- expert systems
- multi agent systems
- high level