Event structure semantics of (controlled) reversible CCS.

Eva Graversen Iain C. C. Phillips Nobuko Yoshida

Published in: J. Log. Algebraic Methods Program. (2021)

Keyphrases

event detection
database systems
cellular automata
structural information
graphical representation
temporal structure
logical structure
real time
information systems
case study
relational databases
knowledge representation
object oriented
markov chain
semantic structure