Script: A Communication Abstraction Mechanism and Its Verification.
Nissim FrancezBrent HailpernGadi TaubenfeldPublished in: Sci. Comput. Program. (1986)
Keyphrases
- communication protocol
- bounded model checking
- high level
- model checking
- abstraction hierarchy
- artificial intelligence
- real time
- information exchange
- communication networks
- hardware designs
- formal verification
- communication overhead
- learning mechanism
- communication systems
- computer networks
- learning activities
- multimedia
- data sets
- face verification
- state space
- low level