Reversibility in Massive Concurrent Systems.

Luca Cardelli Cosimo Laneve

Published in: Sci. Ann. Comput. Sci. (2011)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
petri net
model checking
formal specification
transition systems
markov chain
machine learning
case study
markov processes
databases
data analysis
relational databases
massive data sets