Login / Signup
Timed CCP compositionally embeds Argos and Lustre.
Simone Tini
Published in:
Formal Aspects Comput. (2004)
Keyphrases
</>
petri net
timed automata
discrete event
cooperative
model checking
probabilistic model
finite state machines