{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:33Z","timestamp":1725558633417},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203032"},{"type":"electronic","value":"9783540396567"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39656-7_7","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T14:35:52Z","timestamp":1277822152000},"page":"182-201","source":"Crossref","is-referenced-by-count":5,"title":["Equivalent Semantic Models for a Distributed Dataspace Architecture"],"prefix":"10.1007","author":[{"given":"Jozef","family":"Hooman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Boasson, M., de Jong, E.: Software architecture for large embedded systems. In: IEEE Workshop on Middleware for Distributed Real-Time Systems and Services (1997)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1145\/335603.335731","volume-title":"Proc. of the 2000 ACM Symposium on Applied Computing (SAC 2000)","author":"R. Bloo","year":"2000","unstructured":"Bloo, R., Hooman, J., de Jong, E.: Semantical aspects of an architecture for distributed embedded systems. In: Proc. of the 2000 ACM Symposium on Applied Computing (SAC 2000), vol.\u00a01, pp. 149\u2013155. ACM press, New York (2000)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1145\/330560.330664","volume-title":"Proc. of the 1998 ACM Symposium on Applied Computing (SAC 1998)","author":"M.M. Bonsangue","year":"1998","unstructured":"Bonsangue, M.M., Kok, J.N., Boasson, M., de Jong, E.: A software architecture for distributed control systems and its transition system semantics. In: Proc. of the 1998 ACM Symposium on Applied Computing (SAC 1998), pp. 159\u2013168. ACM press, New York (1998)"},{"key":"7_CR4","volume-title":"Proc. of the 1999 ACM Symposium on Applied Computing (SAC 1999)","author":"M.M. Bonsangue","year":"1999","unstructured":"Bonsangue, M.M., Kok, J.N., Zavattaro, G.: Comparing coordination models based on shared distributed replicated data. In: Proc. of the 1999 ACM Symposium on Applied Computing (SAC 1999). ACM Press, New York (1999)"},{"issue":"7","key":"7_CR5","doi-asserted-by":"publisher","first-page":"1094","DOI":"10.1109\/9.231463","volume":"38","author":"M. Boasson","year":"1993","unstructured":"Boasson, M.: Control systems software. IEEE Transactions on Automatic Control\u00a038(7), 1094\u20131106 (1993)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"7_CR6","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Concurrency Verification, Introduction to Compositional and Noncompositional Methods","author":"W.P. Roever de","year":"2001","unstructured":"de Roever, W.P., de Boer, F., Hannemann, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency Verification, Introduction to Compositional and Noncompositional Methods. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (2001)"},{"key":"7_CR7","volume-title":"JavaSpaces: Principles, Patterns, and Practice","author":"E. Freeman","year":"1999","unstructured":"Freeman, E., Hupfer, S., Arnold, K.: JavaSpaces: Principles, Patterns, and Practice. Addison-Wesley, Reading (1999)"},{"issue":"1","key":"7_CR8","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Genarative communication in Linda. Transactions on Programming Languages and Systems\u00a07(1), 80\u2013112 (1985)","journal-title":"Transactions on Programming Languages and Systems"},{"key":"7_CR9","unstructured":"Hannemann, U., Hooman, J.: Formal reasoning about real-time components on a data-oriented architecture. In: Proc. of 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2002), vol.\u00a0XI, pp. 313\u2013318 (2002)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-58468-4_158","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J. Hooman","year":"1994","unstructured":"Hooman, J.: Correctness of real time systems by construction. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol.\u00a0863, pp. 19\u201340. Springer, Heidelberg (1994)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Hooman, J., van de Pol, J.: Formal verification of replication on a distributed data space architecture. In: Proc. of the 2002 ACM Symposium on Applied Computing (SAC 2002), pp. 351\u2013358 (2002)","DOI":"10.1145\/508791.508859"},{"issue":"4","key":"7_CR12","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C.B. Jones","year":"1983","unstructured":"Jones, C.B.: Tentative steps towards a development method for interfering programs. ACM Transactions on Programming Languages and Systems\u00a05(4), 596\u2013619 (1983)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"7","key":"7_CR13","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"issue":"7","key":"7_CR14","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"Misra, J., Chandy, K.M.: Proofs of networks of processes. IEEE Transactions on Software Engineering\u00a07(7), 417\u2013426 (1981)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR15","unstructured":"Owre, S., Shankar, N., Rushby, J.M., Stringer-Calvert, D.W.J.: PVS System Guide. SRI International, Computer Science Laboratory, Menlo Park, CA, version 2.4 edn. (December 2001), \n                  \n                    http:\/\/pvs.csl.sri.com"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39656-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T01:45:53Z","timestamp":1552614353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39656-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203032","9783540396567"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39656-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}