A canonical algebra of open transition systems.

Elena Di Lavore Alessandro Gianola Mario Román Nicoletta Sabadini Pawel Sobocinski

Published in: CoRR (2020)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
data model
model checker
case study
query language
reactive systems