Jaco van de Pol, Miguel Valero Espada. Formal Specification of JavaSpaces™ Architecture Using µCRL. In Farhad Arbab, Carolyn L. Talcott, editors, Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings. Volume 2315 of Lecture Notes in Computer Science, pages 274-290, Springer, 2002. [doi]
@inproceedings{PolE02,
title = {Formal Specification of JavaSpaces™ Architecture Using µCRL},
author = {Jaco van de Pol and Miguel Valero Espada},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2315/23150274.htm},
tags = {architecture},
researchr = {https://researchr.org/publication/PolE02},
cites = {0},
citedby = {0},
pages = {274-290},
booktitle = {Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings},
editor = {Farhad Arbab and Carolyn L. Talcott},
volume = {2315},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43410-0},
}