Bisimulation and Open Maps for Timed Transition Systems.

Mogens Nielsen Thomas Hune

Published in: Fundam. Informaticae (1999)

Keyphrases

transition systems
concurrent systems
model checking
petri net
temporal logic
finite state
control flow
practical reasoning
domain specific
distributed systems
artificial intelligence
knowledge base
rough sets
process model
reactive systems