Multiplicative Transition Systems.

Józef Winkowski

Published in: Trans. Petri Nets Other Model. Concurr. (2017)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
reactive systems
formal specification
data flow
model checker
distributed systems
markov decision processes