2003
Equivalent Semantic Models for a Distributed Dataspace Architecture
Publication
Publication
Presented at the
International Symposium on Formal Methods for Components and Objects, Leiden
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
International Symposium on Formal Methods for Components and Objects | |
Organisation | Specification and Analysis of Embedded Systems |
Hooman, J., & van de Pol, J. (2003). Equivalent Semantic Models for a Distributed Dataspace Architecture. In Proceedings of Formal Methods for Components and Objects (FMCO 2002) (pp. 1–20). Springer. |