Event structures for the reversible early internal Pi-calculus.

Eva Graversen Iain C. C. Phillips Nobuko Yoshida

Published in: CoRR (2020)

Keyphrases

data model
database systems
database
databases
internal structures
event detection
internal and external
data mining
event driven
internal states
markov chain