Better Late Than Never: A Fully Abstract Semantics for Classical Processes.

Wen Kokke Fabrizio Montesi Marco Peressotti

Published in: CoRR (2018)

Keyphrases

high level
low level
semantic information
higher level
dynamic aspects
formal semantics
data sets
neural network
case study
software engineering