High level communication primitives for concurrent systems.
Vijay K. GargC. V. RamamoorthyPublished in: ICCL (1988)
Keyphrases
- concurrent systems
- high level
- low level
- temporal logic
- distributed systems
- process algebra
- petri net
- model checking
- formal specification
- programming language
- low level features
- communication overhead
- communication cost
- communication systems
- communication channels
- data sets
- transition systems
- communication protocol
- information sharing
- multi agent
- lower level
- information exchange
- communication networks
- communication patterns
- higher level