Login / Signup
On the Bisimulation Hierarchy of State-to-Function Transition Systems.
Marino Miculan
Marco Peressotti
Published in:
ICTCS (2016)
Keyphrases
</>
transition systems
model checking
concurrent systems
state space
temporal logic
distributed systems