On Orthomodular Posets Generated by Transition Systems.

Luca Bernardinello Lucia Pomello Stefania Rombolà

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
dynamic programming
distributed systems
linear programming
heuristic search