Modeling the execution of LOTOS specifications by cooperating extended finite state machines.

Adriano Valenzano Riccardo Sisto Luigi Ciminiera

Published in: SPDP (1990)

Keyphrases

finite state machines
finite state automata
model checking
hidden markov models
cooperative
regular expressions
state transition
digital circuits
execution traces
databases
web services
high level
video sequences
formal specification