@Inproceedings{EPTCS19.4,
  author    = {Ciocchetta, Federica and Guerriero, Maria Luisa and Hillston, Jane},
  year      = {2010},
  title     = {Investigating modularity in the analysis of process algebra models of biochemical systems},
  editor    = {Merelli, Emanuela and Quaglia, Paola},
  booktitle = {{\rm Proceedings Third Workshop}
               From Biology To Concurrency and back,
               {\rm Paphos, Cyprus, 27th March 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {19},
  publisher = {Open Publishing Association},
  pages     = {55-69},
  doi       = {10.4204/EPTCS.19.4},
}