Login / Signup
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures.
Nataliya Gribovskaya
Irina B. Virbitskaite
Published in:
AFL (2023)
Keyphrases
</>
logic programming
cellular automata
markov chain
event detection
comparative analysis
formal semantics
hidden markov models
logic programs
event driven
event processing