Verifying a Protocol Using Relativized Bisimulation.

Kim Guldstrand Larsen Robin Milner

Published in: ICALP (1987)

Keyphrases

model checking
lightweight
network protocols
coloured petri nets
multi party
website
formal analysis
communication protocol
application layer
tcp ip