Better late than never: a fully-abstract semantics for classical processes.

Wen Kokke Fabrizio Montesi Marco Peressotti

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

formal semantics
logic programming
higher level
semantic information
process model
data sets
computational models
artificial intelligence
multi agent
low level
petri net
graphical representation
stochastic processes
dynamic aspects