A Process Algebra for Supervisory Coordination
Jos C. M. BaetenBert van BeekAllan van HulstJasen MarkovskiPublished in: PACO (2011)
Keyphrases
- process algebra
- concurrent systems
- model checking
- formal specification
- asynchronous circuits
- formal methods
- web services composition
- communication protocols
- concurrent programs
- control system
- grid workflow
- multi agent systems
- temporal logic
- cooperative
- petri net
- multi agent
- web services
- service composition
- web service composition
- general purpose
- knowledge representation
- database
- distributed systems
- data model