Dormancy-aware timed branching bisimilarity.

Cornelis A. Middelburg

Published in: CoRR (2021)

Keyphrases

petri net
search tree
branch and bound
dynamic systems
database
databases
neural network
data streams