Login / Signup
Verification of progress property of algebraically specified communication protocols.
Teruo Higashino
Kenichi Taniguchi
Tadao Kasami
Mamoru Fujii
Masaaki Mori
Published in:
Systems and Computers in Japan (1987)
Keyphrases
</>
communication protocols
protocol specification
communication protocol
model checking
communication networks
management system
protocol stack
data mining
information systems
formal specification
signature verification
iterative methods