Verification of an alternating bit protocol by means of process algebra.
Jan A. BergstraJan Willem KlopPublished in: Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Keyphrases
- process algebra
- concurrent systems
- model checking
- protocol specification
- asynchronous circuits
- communication protocols
- formal specification
- formal methods
- grid workflow
- temporal logic
- concurrent programs
- cryptographic protocols
- petri net
- lightweight
- distributed systems
- web services composition
- communication protocol
- artificial intelligence
- object oriented