2002
Formal specification of javaspaces architecture using muCRL
Publication
Publication
Presented at the
International Conference on Coordination Models and Languages, York, UK
| Additional Metadata | |
|---|---|
| Springer | |
| F. Arbab (Farhad) , C. Talcott (Carolyn) | |
| Lecture Notes in Computer Science | |
| International Conference on Coordination Models and Languages | |
| Organisation | Specification and Analysis of Embedded Systems |
|
van de Pol, J., & Valero Espada, M. (2002). Formal specification of javaspaces architecture using muCRL. In F. Arbab & C. Talcott (Eds.), Proceedings of the 5th International Conference on Coordination Models and Languages 2002 (pp. 274–290). Springer. |
|
