Desing, Implementation and Validation of a Multi-Peer Protocol Using Estelle.

Martine Guilmet Philippe Thomas Bruno Traverson

Published in: FORTE (1990)

Keyphrases

lightweight
implementation details
protocol specification
coloured petri nets
mobile devices
programming language
privacy preserving