Communication with Concurrent Systems via I/O-Procedures.
Lutz PriesePublished in: Computation Theory and Logic (1987)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- input output
- communication systems
- petri net
- model checking
- communication overhead
- transition systems
- formal specification
- information exchange
- communication networks
- file system
- neural network
- information sharing
- communication protocol
- high bandwidth