Formalizing TLM with Communicating State Machines.

Bernhard Niemann Christian Haubelt

Published in: FDL (2006)

Keyphrases

state machines
state machine
petri net
communication channels
recurrent networks
sequence diagrams
recurrent neural networks
reactive systems