Relational Presheaves as Labelled Transition Systems.

Pawel Sobocinski

Published in: CMCS (2012)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
relational databases
data model
model checker
learning algorithm
formal verification
reactive systems