Keyphrases
- process algebra
- web services composition
- web services
- web service composition
- service composition
- concurrent systems
- concurrent programs
- formal specification
- asynchronous circuits
- highly reliable
- formal methods
- model checking
- communication protocols
- service oriented
- petri net
- quality of service
- grid workflow
- service selection
- description language
- web applications
- service discovery
- business process
- business processes
- social networks