Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras.

Vincenzo Ciancia

Published in: CALCO (2013)

Keyphrases

reactive systems
control flow
temporal logic
model checking
petri net
user interaction
human computer interaction
information flow
formal semantics
real time
logic programming
attribute values
categorical data
formal methods
intrusion detection
state machines