Cosimo Laneve. Calculi for Concurrent Objects (Tutorial). In Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri, editors, Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy. Volume 139 of IFIP Conference Proceedings, Kluwer, 1999.
@inproceedings{Laneve99, title = {Calculi for Concurrent Objects (Tutorial)}, author = {Cosimo Laneve}, year = {1999}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/Laneve99}, cites = {0}, citedby = {0}, booktitle = {Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy}, editor = {Paolo Ciancarini and Alessandro Fantechi and Roberto Gorrieri}, volume = {139}, series = {IFIP Conference Proceedings}, publisher = {Kluwer}, isbn = {0-7923-8429-6}, }