Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini. The Calculus of Looping Sequences. In Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro, editors, Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures. Volume 5016 of Lecture Notes in Computer Science, pages 387-423, Springer, 2008. [doi]
@inproceedings{BarbutiCMMP08,
title = {The Calculus of Looping Sequences},
author = {Roberto Barbuti and Giulio Caravagna and Andrea Maggiolo-Schettini and Paolo Milazzo and Giovanni Pardini},
year = {2008},
doi = {10.1007/978-3-540-68894-5_11},
url = {http://dx.doi.org/10.1007/978-3-540-68894-5_11},
researchr = {https://researchr.org/publication/BarbutiCMMP08},
cites = {0},
citedby = {0},
pages = {387-423},
booktitle = {Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures},
editor = {Marco Bernardo and Pierpaolo Degano and Gianluigi Zavattaro},
volume = {5016},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-68892-1},
}