A Protocol for Multirendezvous of LOTOS Processes.

Riccardo Sisto Luigi Ciminiera Adriano Valenzano

Published in: IEEE Trans. Computers (1991)

Keyphrases

lightweight
process model
communication channels
formal analysis
cryptographic protocols
network protocols
dispute resolution
data sets
data mining
information systems
tcp ip
coloured petri nets