Event Structures for the Reversible Early Internal π-Calculus.

Eva Graversen Iain Phillips Nobuko Yoshida

Published in: RC (2020)

Keyphrases

internal structures
event detection
markov chain
cellular automata
event driven
real time
databases
machine learning
multiscale
internal states