@InProceedings{BCM+04,
author={R. Barbuti and S. Cataudella and A. Maggiolo-Schettini and P. Milazzo and A. Troina},
title={A Probabilistic Calculus for Molecular Systems},
booktitle={Proc. Concurrency Specification and Programming (CS\&P'04)},
year={2004},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}