31 citations · 132 across the 17 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2016
Programming Discrete Distributions with Chemical Reaction Networks
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
We explore the range of probabilistic behaviours that can be engineered with Chemical Reaction Networks (CRNs). We show that at steady state CRNs are able to "program" any distribu…
cs.DC2011
Reversibility in Massive Concurrent Systems
Luca Cardelli, Cosimo Laneve
Reversing a (forward) computation history means undoing the history. In concurrent systems, undoing the history is not performed in a deterministic way but in a causally consistent…