Process Algebra with Asynchronous Communication Mechanisms.
Jan A. BergstraJan Willem KlopJohn V. TuckerPublished in: Seminar on Concurrency (1984)
Keyphrases
- asynchronous communication
- process algebra
- web services composition
- service composition
- concurrent systems
- model checking
- formal specification
- synchronous communication
- asynchronous circuits
- formal methods
- concurrent programs
- communication protocols
- petri net
- programming environment
- temporal logic
- reverse engineering
- service selection
- mobile devices
- building blocks