Reversibility in Massive Concurrent Systems

Luca Cardelli Cosimo Laneve

Published in: CoRR (2011)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
formal specification
petri net
markov chain
model checking
transition systems
data analysis
database
learning algorithm
enormous amounts