Process algebra and conditional composition.
Jan A. BergstraAlban PonsePublished in: Inf. Process. Lett. (2001)
Keyphrases
- process algebra
- web services composition
- web service composition
- service composition
- web services
- model checking
- concurrent systems
- formal specification
- asynchronous circuits
- highly reliable
- concurrent programs
- grid workflow
- quality of service
- formal methods
- service selection
- communication protocols
- petri net
- general purpose
- query processing
- multi agent systems