Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer.
A. Udaya ShankarSimon S. LamPublished in: SIGCOMM (1983)
Keyphrases
- data transfer
- protocol specification
- data access
- data transmission
- data flow
- formal verification
- colored petri nets
- cryptographic protocols
- formal specification
- management system
- data management
- parallel computers
- information systems
- formal methods
- data delivery
- petri net
- file system
- decision making
- model checking
- decision support
- data processing
- low cost
- host computer
- case study
- business intelligence
- knowledge management
- database systems
- high level