Login / Signup
Interaction and observation: categorical semantics of reactive systems trough dialgebras
Vincenzo Ciancia
Published in:
CoRR (2012)
Keyphrases
</>
reactive systems
control flow
model checking
formal semantics
human computer interaction
temporal logic
data flow
semantic information
petri net
information flow
machine learning
decision making
user interaction
process model