C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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