Login / Signup
A Labelled Transition Systems for pi-epsilon-Calculus.
Franck van Breugel
Published in:
TAPSOFT (1997)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
reactive systems
distributed systems
data flow
formal verification
model checker
social networks
hidden markov models
markov chain