{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T17:12:20Z","timestamp":1649092340338},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1990,4,1]],"date-time":"1990-04-01T00:00:00Z","timestamp":638928000000},"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":[[1990,4]]},"DOI":"10.1007\/bf00289016","type":"journal-article","created":{"date-parts":[[2004,10,4]],"date-time":"2004-10-04T16:23:48Z","timestamp":1096907028000},"page":"381-397","source":"Crossref","is-referenced-by-count":0,"title":["Hiding in stream semantics of uniform concurrency"],"prefix":"10.1007","volume":"27","author":[{"given":"J. -J. Ch.","family":"Meyer","sequence":"first","affiliation":[]},{"given":"E. -R.","family":"Olderog","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0304-3975(83)90055-5","volume":"23","author":"R.J.R. Back","year":"1983","unstructured":"Back, R.J.R.: A Continuous Semantics for Unbounded Nondeterminism. Theor. Comput. Sci. 23, 187?210 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"CR2","series-title":"Report CS-R8521","volume-title":"Global Renaming Operators in Concrete Process Algebra","author":"J.C.M. Baeten","year":"1985","unstructured":"Baeten, J.C.M., Bergstra, J.A.: Global Renaming Operators in Concrete Process Algebra. Report CS-R8521, Centre of Mathematics and Computer Science, Amsterdam, 1985"},{"key":"CR3","volume-title":"Mathematical Theory of Program Correctness","author":"J.W. Bakker de","year":"1980","unstructured":"de Bakker, J.W.: Mathematical Theory of Program Correctness. Englewood Cliffs, New Jersey: Prentice-Hall 1980"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/BF00263291","volume":"24","author":"J.W. Bakker de","year":"1987","unstructured":"de Bakker, J.W., Meyer, J.-J.Ch.: Order and Metric in the Stream Semantics of Elemental Concurrency. Acta Inf. 24, 491?511 (1987)","journal-title":"Acta Inf."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0304-3975(83)90079-8","volume":"26","author":"W. Bakker de","year":"1983","unstructured":"de Bakker, W., Meyer, J.-J.Ch., Zucker, J.I.: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 26, 53?82 (1983) (Corrigendum, Theor. Comput. Sci. 29, 229?230 (1984))","journal-title":"Theor. Comput. Sci."},{"key":"CR6","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":"de Bakker, J.W., Meyer, J.-J.Ch., Olderog, E.-R.: Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. Theor. Comput. Sci. 49, 87?112 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"CR7","series-title":"CWI Monographs","first-page":"84","volume-title":"Mathematics and Computer Science","author":"J.A. Berstra","year":"1986","unstructured":"Berstra, J.A., Klop, J.W.: Algebra of Communicating Processes. In: de Bakker, J.W., Hazewinkel, M., Lenstra, J.K. (eds.) Mathematics and Computer Science, pp. 84?138. CWI Monographs 1. Amsterdam: North-Holland 1986"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A Theory of Communicating Sequential Processes. J. ACM 31, 560?599","DOI":"10.1145\/828.833"},{"key":"CR9","first-page":"125","volume-title":"Formal Description of Programming Concepts II","author":"M. Broy","year":"1983","unstructured":"Broy, M.: Fixed Point Theory for Communication and Concurrency. In: Bj\u00f8rner, D. (ed.) Formal Description of Programming Concepts II, pp. 125?147. Amsterdam: North-Holland 1983"},{"key":"CR10","volume-title":"Introduction to General Topology","author":"K.D. Joshi","year":"1983","unstructured":"Joshi, K.D.: Introduction to General Topology. New Delhi: Wiley 1983"},{"key":"CR11","volume-title":"Topology, Vol. 1","author":"K. Kuratowski","year":"1966","unstructured":"Kuratowski, K.: Topology, Vol. 1. New York: Academic Press 1966"},{"key":"CR12","unstructured":"Meyer, J.-J.Ch.: Programming Calculi Based on Fixed Point Transformations: Semantics and Applications. Ph.D. dissertation, Free University of Amsterdam, 1985"},{"key":"CR13","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":"Meyer, J.-J.Ch.: Merging Regular Processes by Means of Fixed Point Theory. Theor. Comput. Sci. 45, 193?260 (1986)","journal-title":"Theor. Comput. Sci."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0304-3975(88)90042-4","volume":"57","author":"J.-J.Ch. Meyer","year":"1988","unstructured":"Meyer, J.-J.Ch., de Vink, E.P.: Application of Compactness in the Smyth Power-domain of Streams. Theor. Comput. Sci. 57, 251?282 (1988)","journal-title":"Theor. Comput. Sci."},{"key":"CR15","volume-title":"Lect. Notes Comput. Sci., Vol 92","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Lect. Notes Comput. Sci., Vol 92. Berlin Heidelberg New York: Springer 1980"},{"key":"CR16","doi-asserted-by":"crossref","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?66 (1986)","journal-title":"Acta Inf."},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Reed, G.M., Roscoe, A.W.: Metric Spaces as Models for Real-Time Concurrency. In: Proc. Mathematical Foundations of Programming Languages (New Orleans, L.A., 1987). Lect. Notes Comput. Sci. 298, 331?343 (1988)","DOI":"10.1007\/3-540-19020-1_17"},{"key":"CR18","unstructured":"Rounds, W.C.: On the Relationship between Scott Domains, Synchronization Trees and Metric Spaces. Report University of Michigan, CRL-TR-25-83, 1983"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M.B. Smyth","year":"1978","unstructured":"Smyth, M.B.: Power Domains. J. Comput. Syst. Sci. 16, 23?36 (1978)","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289016.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00289016\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:14:37Z","timestamp":1554758077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00289016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,4]]},"references-count":19,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1990,4]]}},"alternative-id":["BF00289016"],"URL":"https:\/\/doi.org\/10.1007\/bf00289016","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,4]]}}}