Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.
Radu MateescuPascal PoizatGwen SalaünPublished in: ICSOC (2008)
Keyphrases
- process algebra
- communication protocols
- protocol specification
- formal specification
- asynchronous circuits
- concurrent systems
- web services composition
- model checking
- formal methods
- service composition
- service oriented
- service selection
- concurrent programs
- web service composition
- temporal logic
- web services
- communication networks
- communication protocol
- petri net
- message delivery
- artificial intelligence
- computing environments
- distributed databases
- social networks