Bus Arbitration Protocol: An Industrial Experiment with LOTOS.

Ghassan Chehaibar Hubert Garavel Laurent Mounier Nadia Tawbi Ferruccio Zulian

Published in: FORTE (1996)

Keyphrases

lightweight
industrial applications
formal analysis
neural network
high speed
industrial processes
file transfer
coloured petri nets
security analysis
tcp ip
cryptographic protocols
network protocols
sensor networks
temporal ordering