A Canonical Algebra of Open Transition Systems.

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

Published in: FACS (2021)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
learning algorithm
data model
hidden markov models
query language
software development
linear programming
fuzzy set theory
reactive systems