Event Structure Semantics of (controlled) Reversible CCS.

Eva Graversen Iain Phillips Nobuko Yoshida

Published in: RC (2018)

Keyphrases

formal semantics
logical structure
learning algorithm
structural information
semantic structure
search engine
bayesian networks
event detection