Sufficient conditions for the marked graph realisability of labelled transition systems.

Eike Best Thomas Hujsa Harro Wimmel

Published in: Theor. Comput. Sci. (2018)

Keyphrases

sufficient conditions
transition systems
model checking
concurrent systems
temporal logic
control flow
exponential stability
finite state
asymptotic stability
fixed point
reactive systems
efficiently computable
model checker
random walk
distributed systems
decision problems
equilibrium point