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