A decomposition theorem for finite persistent transition systems.

Eike Best Philippe Darondeau

Published in: Acta Informatica (2009)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
markov decision processes
social networks
multi agent
distributed systems
formal specification