Span(Graph): A Categorial Algebra of Transition Systems.

Piergiulio Katis Nicoletta Sabadini Robert F. C. Walters

Published in: AMAST (1997)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
random walk
control flow
query language
practical reasoning
data model
social networks
case study
distributed systems
formal specification
model checker