Reachability of Communicating Timed Processes.

Lorenzo Clemente Frédéric Herbreteau Amélie Stainer Grégoire Sutre

Published in: FoSSaCS (2013)

Keyphrases

communication channels
petri net
sharing information
state space
timed automata
e learning
image processing
information technology
computational model
dynamic systems
transitive closure