Formalizing and Executing Message Sequence Charts via Timed Rewriting.

Piotr Kosiuczenko Martin Wirsing

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

database
database systems
communication channels
petri net
sequence analysis
timed automata
social networks
email
mobile phone