Reversible Semantics in Session-based Concurrency.

Claudio Antares Mezzina Jorge Andrés Pérez

Published in: ICTCS (2016)

Keyphrases

logic programming
semantic information
formal semantics
concurrency control
markov chain
cellular automata
database systems
transaction processing
data sets
information retrieval
data management
user behavior
graphical representation
specification language
logical language