Is Timed Branching Bisimilarity a Congruence Indeed?

Wan J. Fokkink Jun Pang Anton Wijs

Published in: Fundam. Informaticae (2008)

Keyphrases

petri net
branch and bound
timed automata
socio technical
search tree
discrete event
lower bound
machine learning
case study
expert systems
association rules
hidden markov models
markov chain
simulation model
finite state machines
colored petri nets