A Category of Transition Systems and Its Relations with Orthomodular Posets.

Luca Bernardinello Lucia Pomello

Published in: MFCS (1997)

Keyphrases

transition systems
partially ordered sets
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
artificial intelligence
case study