Towards a Truly Concurrent Semantics for Reversible CCS.

Hernán C. Melgratti Claudio Antares Mezzina G. Michele Pinna

Published in: RC (2021)

Keyphrases

markov chain
logic programming
formal semantics
cellular automata
database
semantic information
default reasoning
transformation rules
nonmonotonic logics