External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Calculus of Looping Sequences

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]

Authors

Roberto Barbuti

This author has not been identified. Look up 'Roberto Barbuti' in Google

Giulio Caravagna

This author has not been identified. Look up 'Giulio Caravagna' in Google

Andrea Maggiolo-Schettini

This author has not been identified. Look up 'Andrea Maggiolo-Schettini' in Google

Paolo Milazzo

This author has not been identified. Look up 'Paolo Milazzo' in Google

Giovanni Pardini

This author has not been identified. Look up 'Giovanni Pardini' in Google
runs on