{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:30Z","timestamp":1725663450913},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541523"},{"type":"electronic","value":"9783540474722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_56","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:33:13Z","timestamp":1330209193000},"page":"27-57","source":"Crossref","is-referenced-by-count":1,"title":["Rendez-vous with metric semantics"],"prefix":"10.1007","author":[{"given":"J. W.","family":"Bakker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. P.","family":"Vink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(88)90048-5","volume":"60","author":"P. America","year":"1988","unstructured":"P. America and J.W. de Bakker. Designing equivalent semantic models for process creation. Theoretical Computer Science, 60:109\u2013176, 1988.","journal-title":"Theoretical Computer Science"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"P. America, J.W. de Bakker, J.N. Kok, and J.J.M.M. Rutten. Operational semantics of a parallel object-oriented language. In Proc. POPL'86, pages 194\u2013208, St. Petersburg, Florida, 1986.","DOI":"10.1145\/512644.512662"},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/0890-5401(89)90057-6","volume":"83","author":"P. America","year":"1989","unstructured":"P. America, J.W. de Bakker, J.N. Kok, and J.J.M.M. Rutten. Denotational semantics of a parallel object-oriented language. Information and Computation, 83:152\u2013205, 1989.","journal-title":"Information and Computation"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/BF01887214","volume":"1","author":"P. America","year":"1989","unstructured":"P. America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1:366\u2013411, 1989.","journal-title":"Formal Aspects of Computing"},{"key":"2_CR5","unstructured":"P. America and J.J.M.M. Rutten. A parallel object-oriented language: design and semantic foundations. In J.W. de Bakker, editor, Languages for Parallel Architectures: Design, Semantics, Implementation Models, Wiley Series in Parallel Computing, pages 1\u201349. Wiley, 1989."},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0022-0000(89)90027-5","volume":"39","author":"P. America","year":"1989","unstructured":"P. America and J.J.M.M. Rutten. Solving reflexive domain equations in a category of complete metric spaces. Journal of Computer and System Sciences, 39:343\u2013375, 1989.","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"P. America and J.J.M.M. Rutten. A layered semantics for a parallel object-oriented language. Technical Report CS-R9052, CWI, Amsterdam, 1990. To appear in \u201cFoundations of Object-Oriented Languages\u201d, LNCS 489, Springer, 1991.","DOI":"10.1007\/BFb0019441"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(84)90114-2","volume":"34","author":"J.W. Bakker de","year":"1984","unstructured":"J.W. de Bakker, J.A. Bergstra, J.W. Klop, and J.-J.Ch. Meyer. Linear time and branching time semantics for recursion with merge. Theoretical Computer Science, 34:135\u2013156, 1984.","journal-title":"Theoretical Computer Science"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker and E.P. de Vink. CCS for OO and LP. In Proc. TAPSOFT'91. LNCS, Springer, 1991. To appear.","DOI":"10.1007\/3540539816_55"},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/BF01941131","volume":"28","author":"J.W. Bakker de","year":"1988","unstructured":"J.W. de Bakker and J.-J.Ch. Meyer. Metric semantics for concurrency. BIT, 28:504\u2013529, 1988.","journal-title":"BIT"},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/0022-0000(88)90026-8","volume":"36","author":"J.W. Bakker de","year":"1988","unstructured":"J.W. de Bakker, J.-J.Ch. Meyer, E.-R. Olderog, and J.I. Zucker. Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Journal of Computer and System Sciences, 36:158\u2013224, 1988.","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker and J.H.A. Warmerdam. Metric pomset semantics for a concurrent language with recursion. In I. Guessarian, editor, Proc. 18\u00e8me Ecole de Printemps d'Informatique, Semantique du Parallelisme, pages 21\u201349. LNCS 469, Springer, 1990.","DOI":"10.1007\/3-540-53479-2_2"},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J.W. Bakker de","year":"1982","unstructured":"J.W. de Bakker and J.I. Zucker. Processes and the denotational semantics of concurrency. Information and Control, 54:70\u2013120, 1982.","journal-title":"Information and Control"},{"key":"2_CR14","unstructured":"J. Dugundji. Topology. Allyn and Bacon, 1966."},{"key":"2_CR15","unstructured":"A. Eli\u00ebns. DLP \u2014 a Language for Distributed Logic Programming. PhD thesis, Universiteit van Amsterdam, 1991."},{"key":"2_CR16","unstructured":"R. Engelking. General Topology, volume 6 of Sigma Series in Pure Mathematics. Heldermann, revised and completed edition, 1989."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"C.A. Gunter and D.S. Scott. Semantic domains. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 633\u2013674. North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50017-2"},{"key":"2_CR18","unstructured":"E. Horita, J.W. de Bakker, and J.J.M.M. Rutten. Fully abstract denotational semantics for nonuniform concurrent languages. Technical Report CS-R9027, CWI, Amsterdam, 1990."},{"key":"2_CR19","first-page":"180","volume":"76","author":"J.N. Kok","year":"1990","unstructured":"J.N. Kok and J.J.M.M. Rutten. Contractions in comparing concurrency semantics. Theoretical Computer Science, 76:180\u2013222, 1990.","journal-title":"Theoretical Computer Science"},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"114","DOI":"10.4064\/fm-43-1-114-138","volume":"42","author":"K. Kuratowski","year":"1956","unstructured":"K. Kuratowski. Sur une m\u00e9thode de m\u00e9trisation compl\u00e8te des certains espaces d'ensembles compacts. Fundamenta Mathematicae, 42:114\u2013138, 1956.","journal-title":"Fundamenta Mathematicae"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"S. MacLane. Categories for the working mathematician, volume 5 of Graduate texts in mathematics. Springer, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"2_CR22","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0304-3975(88)90042-4","volume":"57","author":"J. Meyer","year":"1988","unstructured":"J.-J.Ch. Meyer and E.P. de Vink. Applications of compactness in the Smyth powerdomain of streams. Theoretical Computer Science, 57:251\u2013382, 1988.","journal-title":"Theoretical Computer Science"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"D. Park. Concurrency and automata on infinite sequences. In P. Deussen, editor, Proc 5th GI Conference, pages 167\u2013183. LNCS 104, Springer, 1981.","DOI":"10.1007\/BFb0017309"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"J.J.M.M. Rutten. Correctness and full abstraction of metric semantics for concurrency. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, pages 628\u2013659. LNCS 354, Springer, 1989.","DOI":"10.1007\/BFb0013038"},{"key":"2_CR25","unstructured":"J.J.M.M. Rutten. Deriving metric models for bisimulation from transition system specifications. In M. Broy and C.B. Jones, editors, Proc. IFIP TC2 Working conference on programming concepts and methods, pages 155\u2013177. North-Holland, 1990."},{"key":"2_CR26","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1137\/0219023","volume":"19","author":"J.J.M.M. Rutten","year":"1990","unstructured":"J.J.M.M. Rutten. Semantic correctness for a parallel object-oriented language. SIAM Journal on Computing, 19:341\u2013383, 1990.","journal-title":"SIAM Journal on Computing"}],"container-title":["Lecture Notes in Computer Science","PARLE '91 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54152-7_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:52:40Z","timestamp":1605646360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}