Implementing LOTOS Specifications by Communicating State Machines.

Günter Karjoth

Published in: CONCUR (1992)

Keyphrases

state machines
state machine
petri net
recurrent networks
reactive systems
sequence diagrams
fault tolerant
genetic algorithm
temporal ordering
finite state machines