Login / Signup
Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol.
Teruo Higashino
Mamoru Fujii
Kenichi Taniguchi
Tadao Kasami
Masaaki Mori
Published in:
Systems and Computers in Japan (1989)
Keyphrases
</>
mutual exclusion
long distance
formal analysis
cryptographic protocols
lightweight
tcp ip
protocol specification
computer systems
model checking
temporal planning
information systems
reinforcement learning
data processing