Script: A Communication Abstraction Mechanism and its Verification.
Nissim FrancezBrent HailpernGadi TaubenfeldPublished in: Logics and Models of Concurrent Systems (1984)
Keyphrases
- communication protocol
- model checking
- communication protocols
- high level
- communication systems
- data sets
- computational model
- selection mechanism
- hardware designs
- database
- concurrent processes
- asynchronous circuits
- resource constrained
- communication networks
- computer networks
- information sharing
- sensor networks
- search engine