Protocol synthesis using basic Lotos and global variables.

Ahmed Khoumsi Gregor von Bochmann

Published in: ICNP (1995)

Keyphrases

database
lightweight
random variables
global information
neural network
variable selection
input variables
combinatorial auctions
communication protocol
application layer
communication protocols
program synthesis
relevant variables
dispute resolution
coloured petri nets