Automata and Logics for Timed Message Sequence Charts.

S. Akshay Benedikt Bollig Paul Gastin

Published in: FSTTCS (2007)

Keyphrases

timed automata
finite state machines
expressive power
petri net
email
modal logic
data sets
cellular automata
first order logic
inference rules