{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T11:40:15Z","timestamp":1682768415623},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1987,9,1]],"date-time":"1987-09-01T00:00:00Z","timestamp":557452800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1987,9]]},"DOI":"10.1007\/bf00263291","type":"journal-article","created":{"date-parts":[[2004,9,27]],"date-time":"2004-09-27T12:15:17Z","timestamp":1096287317000},"page":"491-511","source":"Crossref","is-referenced-by-count":9,"title":["Order and metric in the stream semantics of elemental concurrency"],"prefix":"10.1007","volume":"24","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","published-online":{"date-parts":[[1987,9,1]]},"reference":[{"key":"BF00263291_CR1","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0304-3975(83)90055-5","volume":"23","author":"R.J. Back","year":"1983","unstructured":"Back, R.J.: A continuous semantics for unbounded nondeterminism. Theor. Comput. Sci. 23, 187\u2013210 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"BF00263291_CR2","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(84)90114-2","volume":"34","author":"J.W. Bakker de","year":"1984","unstructured":"de Bakker, J.W., Bergstra, J.A., Klop, J.W., Meyer, J.-J.Ch.: Linear time and branching time semantics for recursion with merge. Theor. Comput. Sci. 34, 135\u2013156 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"BF00263291_CR3","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/BFb0027040","volume-title":"Current Trends in Concurrency: Overviews and Tutorials","author":"J.W. Bakker de","year":"1986","unstructured":"de Bakker, J.W., Kok, J.N., Meyer, J.-J.Ch., Olderog, E.-R., Zucker, J.I.: Contrasting themes in the semantics of imperative concurrency. In: Current Trends in Concurrency: Overviews and Tutorials (J.W. de Bakker, W.P. de Roever, G. Rozenberg, eds.), LNCS 224, pp. 51\u2013121. Berlin-Heidelberg-New York: Springer 1986"},{"key":"BF00263291_CR4","series-title":"LNCS","first-page":"149","volume-title":"Proceedings 12th ICALP","author":"J.W. Bakker de","year":"1985","unstructured":"de Bakker, J.W., Meyer, J.-J.Ch., Olderog, E.-R.: Infinite streams and finite observations in the semantics of uniform concurrency. In: Proceedings 12th ICALP (W. Brauer, ed.), LNCS 194, pp. 149\u2013157. Berlin-Heidelberg-New York: Springer 1985"},{"key":"BF00263291_CR5","doi-asserted-by":"crossref","unstructured":"de Bakker, J.W., Meyer, J.-J.Ch., Olderog, E.-R.: Infinite streams and finite observations in the semantics of uniform concurrency. Report CS-R8512, Centre for Mathematics and Computer Science, 1985 (full version of [4], to appear in Theor. Comput. Sci.)","DOI":"10.1007\/BFb0015740"},{"key":"BF00263291_CR6","first-page":"252","volume-title":"Proceedings 17th ACM STOC","author":"J.W. Bakker de","year":"1985","unstructured":"de Bakker, J.W., Meyer, J.-J.Ch., Olderog, E.-R., Zucker, J.I.: Transition systems, infinitary languages and the semantics of uniform concurrency. In: Proceedings 17th ACM STOC, pp. 252\u2013262. ACM-Publications: Providence, R.I. 1985"},{"key":"BF00263291_CR7","unstructured":"de Bakker, J.W., Meyer, J.-J.Ch., Olderog, E.-R., Zucker, J.I.: Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Report CS-R 8601, Centre for Mathematics and, Computer Science 1986 (full version of [6])"},{"key":"BF00263291_CR8","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J.W. Bakker de","year":"1982","unstructured":"de Bakker, J.W., Zucker, J.I.: Processes and the denotational semantics of concurrency. Inf. Control 54, 70\u2013120 (1982)","journal-title":"Inf. Control"},{"key":"BF00263291_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Inf. Control 60, 109\u2013137 (1984)","journal-title":"Inf. Control"},{"key":"BF00263291_CR10","volume-title":"IFIP TC 2 Working Conference '82, Garmisch-Partenkirchen","author":"M. Broy","year":"1983","unstructured":"Broy, M.: Fixed point theory for communication and concurrency. IFIP TC 2 Working Conference '82, Garmisch-Partenkirchen (D. Bj\u00f8rner, ed.). Amsterdam: North-Holland 1983"},{"key":"BF00263291_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(86)90040-X","volume":"45","author":"M. Broy","year":"1986","unstructured":"Broy, M.: A theory for nondeterminism, parallelism, communication and concurrency. Theor. Comput. Sci. 45, 1\u201362 (1986)","journal-title":"Theor. Comput. Sci."},{"key":"BF00263291_CR12","volume-title":"Topology","author":"J. Dugundji","year":"1966","unstructured":"Dugundji, J.: Topology. Rockleigh, N.J.: Allen and Bacon 1966"},{"key":"BF00263291_CR13","unstructured":"Engelking, R.: General topology. Polish Scientific Publishers 1977"},{"key":"BF00263291_CR14","volume-title":"Reelle Funktionen","author":"H. Hahn","year":"1948","unstructured":"Hahn, H.: Reelle Funktionen. New York: Chelsea 1948"},{"key":"BF00263291_CR15","series-title":"LNCS","first-page":"108","volume-title":"Proceedings 8th MFCS","author":"M. Hennessy","year":"1979","unstructured":"Hennessy, M., Plotkin, G.D.: Full abstraction for a simple parallel programming language. In: Proceedings 8th MFCS (J. Becvar, ed.), LNCS 74, pp. 108\u2013120. Berlin-Heidelberg-New York: Springer 1979"},{"key":"BF00263291_CR16","volume-title":"Introduction to General Topology","author":"K.D. Joshi","year":"1983","unstructured":"Joshi, K.D.: Introduction to General Topology. New Delhi: Wiley Eastern 1983"},{"key":"BF00263291_CR17","first-page":"373","volume-title":"IFIP TC2-MC Symp. on Algorithmic Languages","author":"R. Kuiper","year":"1981","unstructured":"Kuiper, R.: An operational semantics for bounded nondeterminism equivalent to a denotational one. IFIP TC2-MC Symp. on Algorithmic Languages (J.W. de Bakker, J.C. van Vliet, eds.), pp. 373\u2013398. Amsterdam: North-Holland 1981"},{"key":"BF00263291_CR18","unstructured":"Meyer, J.-J.Ch.: Programming calculi based on fixed point transformations: semantics and applications. Dissertation, Free University of Amsterdam, 1985"},{"key":"BF00263291_CR19","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0304-3975(86)90045-9","volume":"45","author":"J.-J.Ch. Meyer","year":"1986","unstructured":"Meyer, J.-J.Ch.: Merging regular processes by means of fixed point theory. Theor. Comput. Sci. 45, 193\u2013260 (1986)","journal-title":"Theor. Comput. Sci."},{"key":"BF00263291_CR20","series-title":"Report IR-110","volume-title":"Applications of compactness in the Smyth power domain of streams","author":"J.-J.Ch. Meyer","year":"1986","unstructured":"Meyer, J.-J.Ch., de Vink, E.P.: Applications of compactness in the Smyth power domain of streams. Report IR-110, Free University, Amsterdam, 1986; extended abstract in Proceedings TAPSOFT\/CAAP'87 (H. Ehrig, R. Kowalski, G. Levi, U. Montanari, eds.), Pisa, LNCS 249, pp. 241\u2013255. Berlin-Heidelberg-New York-Tokyo: Springer 1987"},{"key":"BF00263291_CR21","first-page":"3","volume":"109","author":"M. Nivat","year":"1979","unstructured":"Nivat, M.: Infinite words, infinite trees, infinite computations, Foundations of Computer Science III.2. Math. Centre Tracts 109, 3\u201352 (1979)","journal-title":"Math. Centre Tracts"},{"key":"BF00263291_CR22","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.-R. Olderog","year":"1986","unstructured":"Olderog, E.-R., Hoare, C.A.R.: Specification-oriented semantics for communicating processes. Acta Inf. 23, 9\u201366 (1986)","journal-title":"Acta Inf."},{"key":"BF00263291_CR23","unstructured":"Plotkin, G.D.: A structural approach to operational semantics, Report DAIMI FN-19, Comp. Sci. Dept., Aarhus Univ. 1981"},{"key":"BF00263291_CR24","unstructured":"Rounds, W.C.: On the relationship between Scott domains, synchronization trees and metric spaces. Report Univ. of Michigan CRL-TR-25-83, 1983"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00263291.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00263291\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00263291","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00263291.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T11:02:11Z","timestamp":1682766131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00263291"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,9]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1987,9]]}},"alternative-id":["BF00263291"],"URL":"https:\/\/doi.org\/10.1007\/bf00263291","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,9]]}}}