Springer
Lecture Notes in Computer Science
International Symposium on Formal Methods for Components and Objects
Specification and Analysis of Embedded Systems

Hooman, J.& van de Pol, J. (2003). Equivalent Semantic Models for a Distributed Dataspace Architecture. Proceedings of Formal Methods for Components and Objects (FMCO 2002), 1–20.