Reversible Session-Based Concurrency in Haskell.

Folkert de Vries Jorge A. Pérez

Published in: TFP (2018)

Keyphrases

markov chain
programming language
functional programming
cellular automata
database systems
concurrency control
plagiarism detection
functional language
concurrent programming
relational databases
software engineering
transaction processing
dynamic allocation
data sets
query processing
data flow