Keyphrases
- process algebra
- web services composition
- web services
- web service composition
- service composition
- formal specification
- concurrent programs
- asynchronous circuits
- model checking
- highly reliable
- grid workflow
- concurrent systems
- formal methods
- service selection
- web applications
- quality of service
- communication protocols
- temporal logic
- service oriented
- business processes
- programming environment
- general purpose
- service discovery
- database systems