Modelling a Time-Dependent Protocol Using the Circal Process Algebra.
Antonio CeroneAlex J. CowieGeorge J. MilnePhilip A. MoseleyPublished in: HART (1997)
Keyphrases
- process algebra
- communication protocols
- formal specification
- asynchronous circuits
- concurrent systems
- model checking
- protocol specification
- formal methods
- concurrent programs
- web services composition
- grid workflow
- communication protocol
- petri net
- lightweight
- formal languages
- communication networks
- distributed systems
- programming environment
- relational databases
- service oriented architecture
- knowledge acquisition
- knowledge representation