Conditional Bisimilarity for Reactive Systems.

Mathias Hülsbusch Barbara König Sebastian Küpper Lars Stoltenow

Published in: FSCD (2020)

Keyphrases

reactive systems
model checking
formal methods
temporal logic
information flow
petri net
control flow
real time systems
random field model
database systems
state machines
real time
machine learning
artificial intelligence
mobile agents