@inproceedings{DBLP:conf/sac/CavarraRZ00,
  title = "A Formal Model for the Parallel Semantics of {P3L}",
  author = "Alessandra Cavarra and Elvinia Riccobene and Andrea Zavanella",
  year = "2000",
  booktitle = "Proceedings of the 2000 ACM Symposium on Applied Computing",
  pages = "804-812",
}