{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:01Z","timestamp":1761611161562},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1988,9,1]],"date-time":"1988-09-01T00:00:00Z","timestamp":589075200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BIT"],"published-print":{"date-parts":[[1988,9]]},"DOI":"10.1007\/bf01941131","type":"journal-article","created":{"date-parts":[[2005,7,31]],"date-time":"2005-07-31T10:23:42Z","timestamp":1122805422000},"page":"504-529","source":"Crossref","is-referenced-by-count":28,"title":["Metric semantics for concurrency"],"prefix":"10.1007","volume":"28","author":[{"given":"J. W.","family":"de Bakker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. -J. Ch.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01941131_CR1","first-page":"21","volume":"280","author":"P. America","year":"1987","unstructured":"P. America and J. W. de Bakker,Designing equivalent semantic models for process creation, in Proc. Advanced School on Mathematical Models for the Semantics of Parallelism (M. Venturini Zilli, ed.), LNCS 280, Springer, 1987, pp. 21\u201380 (to appear in Theoretical Computer Science).","journal-title":"LNCS"},{"key":"BF01941131_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, 13th ACM Symposium on Principles of Programming Languages, St. Petersburg, Florida, January 13\u201315, 1986, pp. 194\u2013208.","DOI":"10.1145\/512644.512662"},{"key":"BF01941131_CR3","unstructured":"P. America, J. W. de Bakker, J. N. Kok and J. J. M. M. Rutten,Denotational semantics of a parallel object-oriented language, Report CS-R8626, Centre for Mathematics and Computer Science, Amsterdam, 1986. To appear in Information and Computation."},{"key":"BF01941131_CR4","first-page":"254","volume":"298","author":"P. America","year":"1988","unstructured":"P. America and J. J. M. M. Rutten,Solving reflexive domain equations in a category of complete metric spaces, in Proc. of the Third Workschop on Mathematical Foundations of Programming Language Semantics (M. Main, A. Melton, M. Mislove and D. Schmidt, eds.), LNCS 298, Springer, 1988, pp. 254\u2013288.","journal-title":"LNCS"},{"issue":"4","key":"BF01941131_CR5","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1145\/6490.6494","volume":"33","author":"K. Apt","year":"1986","unstructured":"K. Apt and G. Plotkin,Countable nondeterminism and random assignment, JACM 33(4), (1986), 724\u2013767.","journal-title":"JACM"},{"key":"BF01941131_CR6","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, TCS 34 (1984), 135\u2013156.","journal-title":"TCS"},{"key":"BF01941131_CR7","first-page":"51","volume":"224","author":"J. W. Bakker de","year":"1986","unstructured":"J. W. de Bakker, J. N. Kok, J.-J. Ch. Meyer, E.-R. Olderog, and J. I. Zucker,Contrasting themes in the semantics of imperative concurrency, inCurrent Trends in Concurrency: Overviews and Tutorials (J. W. de Bakker, W. P. de Roever, G. Rozenberg, eds.), LNCS 224, Springer (1986), 51\u2013121.","journal-title":"LNCS"},{"key":"BF01941131_CR8","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/BF00263291","volume":"24","author":"J. W. Bakker de","year":"1987","unstructured":"J. W. de Bakker and J.-J. Ch. Meyer,Order and metric in the stream semantics of elemental concurrency, Acta Informatica 24 (1987), 491\u2013511.","journal-title":"Acta Informatica"},{"key":"BF01941131_CR9","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90002-8","volume":"49","author":"J. W. Bakker de","year":"1987","unstructured":"J. W. de Bakker, J.-J. Ch. Meyer, and E.-R. Olderog,Infinite streams and finite observations in the semantics of uniform concurrency, TCS 49 (1987), 87\u2013112.","journal-title":"TCS"},{"key":"BF01941131_CR10","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 Comp. Syst. Sci. 36 (1988), 158\u2013224.","journal-title":"Journal of Comp. Syst. Sci."},{"key":"BF01941131_CR11","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, Inform. and Control 54 (1982), 70\u2013120.","journal-title":"Inform. and Control"},{"key":"BF01941131_CR12","first-page":"52","volume":"154","author":"J. W. Bakker de","year":"1983","unstructured":"J. W. de Bakker and J. I. Zucker,Processes and a fair semantics for the ADA rendez-vous, in: Proc. 10th ICALP (J. Diaz ed.), LNCS 154, Springer (1983), 52\u201366.","journal-title":"LNCS"},{"key":"BF01941131_CR13","volume-title":"A convergence theorem in process algebra, Report CS-R8733","author":"J. A. Bergstra","year":"1987","unstructured":"J. A. Bergstra and J. W. Klop,A convergence theorem in process algebra, Report CS-R8733, Centre for Mathematics and Computer Science, Amsterdam, 1987."},{"key":"BF01941131_CR14","volume-title":"Topology","author":"J. Dugundji","year":"1966","unstructured":"J. Dugundji,Topology, Allen and Bacon, Rockleigh, N.J. 1966."},{"key":"BF01941131_CR15","unstructured":"R. Engelking,General topology, Polish Scientific Publishers 1977."},{"key":"BF01941131_CR16","first-page":"108","volume":"74","author":"M. Hennessy","year":"1979","unstructured":"M. Hennessy and G. D. Plotkin,Full abstraction for a simple parallel programming language, in: Proceedings 8th MFCS (J. Becvar ed.), LNCS 74 Springer (1979), 108\u2013120.","journal-title":"LNCS"},{"key":"BF01941131_CR17","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"C. A. R. Hoare,Communicating Sequential Processes, Prentice-Hall Int., Englewood, Cliffs, New Jersey, 1985."},{"key":"BF01941131_CR18","doi-asserted-by":"crossref","unstructured":"J. N. Kok and J. J. M. M. Rutten,Contractions in comparing concurrency semantics, Report CS-R8755, Centre for Mathematics and Computer Science, Amsterdam, 1987, to appear in Proc. ICALP 1988.","DOI":"10.1007\/3-540-19488-6_125"},{"key":"BF01941131_CR19","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0304-3975(86)90045-9","volume":"45","author":"J.-J. Ch. Meyer","year":"1986","unstructured":"J.-J. Ch. Meyer,Merging regular processes by means of fixed point theory, TCS 45 (1986), 193\u2013260.","journal-title":"TCS"},{"key":"BF01941131_CR20","volume-title":"Hiding in stream semantics of uniform concurrency, Report IR-125","author":"J.-J. Ch. Meyer","year":"1987","unstructured":"J.-J. Ch. Meyer and E.-R. Olderog,Hiding in stream semantics of uniform concurrency, Report IR-125, Free University, Amsterdam, 1987."},{"key":"BF01941131_CR21","first-page":"241","volume":"249","author":"J.-J. Ch. Meyer","year":"1987","unstructured":"J.-J. Ch. Meyer, and E. P. de Vink,Applications of compactness in the Smyth powerdomain of streams, in: Proc. TAPSOFT '87 (H. Ehrig, R. Kowalski, G. Levi, U. Montanari, eds.), LNCS 249, Springer (1987), 241\u2013255.","journal-title":"LNCS"},{"key":"BF01941131_CR22","doi-asserted-by":"crossref","unstructured":"R. Milner,A calculus for communicating systems, LNCS 92, Springer, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"BF01941131_CR23","first-page":"3","volume-title":"Foundations of Computer Science","author":"M. Nivat","year":"1979","unstructured":"M. Nivat,Infinite words, infinite trees, infinite computations, in:Foundations of Computer Science III.2 (J. W. de Bakker, J. van Leeuwen, eds.), Mathematical Centre Tracts 109, Amsterdam (1979), 3\u201352."},{"issue":"3","key":"BF01941131_CR24","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. D. Plotkin","year":"1976","unstructured":"G. D. Plotkin,A powerdomain construction, SIAM Journal of Computing, Vol. 5, No. 3 (1976), 452\u2013487.","journal-title":"SIAM Journal of Computing"},{"key":"BF01941131_CR25","unstructured":"G. D. Plotkin,A structural approach to operational semantics, Report DAIMI FN-19, Comp. Sci. Dept., Aarhus Univ., 1981."},{"key":"BF01941131_CR26","doi-asserted-by":"crossref","unstructured":"G. D. Plotkin,An operational semantics for CSP, in: D. Bj\u00f8rner (ed.):Formal Description of Programming Concepts II, North-Holland (1983), 199\u2013223.","DOI":"10.1007\/3-540-11981-7_17"},{"key":"BF01941131_CR27","first-page":"236","volume":"298","author":"M. B. Smyth","year":"1988","unstructured":"M. B. Smyth,Quasi uniformities, reconciling domains with metric spaces, in Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics (M. Main, A. Melton, M. Mislove and D. Schmidt, eds.), LNCS 298, Springer, 1988, pp. 236\u2013253.","journal-title":"LNCS"}],"container-title":["BIT Numerical Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941131.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01941131\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T13:26:58Z","timestamp":1586352418000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01941131"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["BF01941131"],"URL":"https:\/\/doi.org\/10.1007\/bf01941131","relation":{},"ISSN":["0006-3835","1572-9125"],"issn-type":[{"value":"0006-3835","type":"print"},{"value":"1572-9125","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}