{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:49Z","timestamp":1725663529248},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550921"},{"type":"electronic","value":"9783540466925"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55092-5_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:27:19Z","timestamp":1330194439000},"page":"473-492","source":"Crossref","is-referenced-by-count":4,"title":["Asynchronous communication in real space process algebra"],"prefix":"10.1007","author":[{"given":"J. C. M.","family":"Baeten","sequence":"first","affiliation":[]},{"given":"J. A.","family":"Bergstra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"3","key":"26_CR1","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0890-5401(88)90027-2","volume":"78","author":"J.C.M. Baeten","year":"1988","unstructured":"J.C.M. Baeten & J.A. Bergstra, Global renaming operators in concrete process algebra, Information & Computation 78 (3), 1988, pp. 205\u2013245.","journal-title":"Information & Computation"},{"issue":"2","key":"26_CR2","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J.C.M. Baeten","year":"1991","unstructured":"J.C.M. Baeten & J.A. Bergstra, Real time process algebra, Formal Aspects of Computing 3 (2), 1991, pp. 142\u2013188. (Report version appeared as report P8916, Programming Research Group, University of Amsterdam 1989.)","journal-title":"Formal Aspects of Computing"},{"key":"26_CR3","series-title":"LNCS 527","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-54430-5_83","volume-title":"Proc. CONCUR'91","author":"J.C.M. Baeten","year":"1991","unstructured":"J.C.M. Baeten & J.A. Bergstra, Real space process algebra, in Proc. CONCUR'91, Amsterdam (J.C.M. Baeten & J.F. Groote, eds.), Springer LNCS 527, 1991, pp. 96\u2013110."},{"key":"26_CR4","unstructured":"J.C.M. Baeten & J.A. Bergstra, The state operator in real time process algebra, report P9104, Programming Research Group, University of Amsterdam 1991. To appear in Proc. REX Workshop Real-Time: Theory in Practice, Mook 1991."},{"key":"26_CR5","volume-title":"Process algebra with signals and conditions, report CS-R9103","author":"J.C.M. Baeten","year":"1991","unstructured":"J.C.M. Baeten & J.A. Bergstra, Process algebra with signals and conditions, report CS-R9103, CWI Amsterdam 1991. To appear in Proc. NATO Summer School, Marktoberdorf 1990 (M. Broy et al., eds.), Springer Verlag."},{"key":"26_CR6","first-page":"127","volume":"2","author":"J.C.M. Baeten","year":"1986","unstructured":"J.C.M. Baeten, J.A. Bergstra & J.W. Klop, Syntax and defining equations for an interrupt mechanism in process algebra, Fund. Inf. IX (2), 1986, pp. 127\u2013168.","journal-title":"Fund. Inf. IX"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten & W.P. Weijland, Process algebra, Cambridge Tracts in Theor. Comp. Sci. 18, Cambridge University Press 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"26_CR8","unstructured":"J.A. Bergstra, Put and get, primitives for synchronous unreliable message passing, report LGPS 3, Dept. of Philosophy, Utrecht University 1985."},{"key":"26_CR9","unstructured":"J.A. Bergstra, A mode transfer operator in process algebra, report P8808b, Programming Research Group, University of Amsterdam 1989."},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"J.A. Bergstra, A process creation mechanism in process algebra, in: Applications of Process Algebra (J.C.M. Baeten, ed.), Cambridge Tracts in TCS 17, Cambridge University Press 1990, pp. 81\u201388.","DOI":"10.1017\/CBO9780511608841.006"},{"key":"26_CR11","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"J.A. Bergstra & J.W. Klop, Process algebra for synchronous communication, Inf. & Control 60, 1984, pp. 109\u2013137.","journal-title":"Inf. & Control"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"J.A. Bergstra, J.W. Klop & J.V. Tucker, Process algebra with asynchronous communication mechanisms, in: Proc. Seminar on Concurrency (S.D. Brookes, A.W. Roscoe & G. Winskel, eds.), Springer LNCS 197, 1985, pp. 76\u201395.","DOI":"10.1007\/3-540-15670-4_4"},{"key":"26_CR13","unstructured":"A. Jeffrey, A linear time process algebra, report 61, Programming Methodology Group, Chalmers University 1991, in Proc. CAV 91, Aalborg 1991."},{"key":"26_CR14","series-title":"LNCS 527","first-page":"332","volume-title":"Observation spaces and timed processes","author":"A. Jeffrey","year":"1991","unstructured":"A. Jeffrey, Observation spaces and timed processes, in Proc. CONCUR'91, Amsterdam (J.C.M. Baeten & J.F. Groote, eds.), Springer LNCS 527, 1991, pp. 332\u2013345."},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"A. Jeffrey, Translating timed process algebra into prioritized process algebra, Programming Methodology Group, Chalmers University 1991.","DOI":"10.1007\/3-540-55092-5_27"},{"key":"26_CR16","series-title":"LNCS 527","first-page":"376","volume-title":"Completeness in real time process algebra, report CS-R9106","author":"A.S. Klusener","year":"1991","unstructured":"A.S. Klusener, Completeness in real time process algebra, report CS-R9106, CWI Amsterdam 1991. Extended abstract in Proc. CONCUR'91, Amsterdam (J.C.M. Baeten & J.F. Groote, eds.), Springer LNCS 527, 1991, pp. 376\u2013392."},{"key":"26_CR17","series-title":"LNCS 458","first-page":"401","volume-title":"Proc. CONCUR'90","author":"F. Moller","year":"1990","unstructured":"F. Moller & C. Tofts, A temporal calculus of communicating systems, in: Proc. CONCUR'90, Amsterdam (J.C.M. Baeten & J.W. Klop, eds.), Springer LNCS 458, 1990, pp. 401\u2013415."},{"key":"26_CR18","series-title":"LNCS 527","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/3-540-54430-5_105","volume-title":"Proc. CONCUR'91","author":"D.V.J. Murphy","year":"1991","unstructured":"D.V.J. Murphy, Testing, betting and timed true concurrency, in Proc. CONCUR'91, Amsterdam (J.C.M. Baeten & J.F. Groote, eds.), Springer LNCS 527, 1991, pp. 439\u2013454."},{"key":"26_CR19","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"G.M. Reed & A.W. Roscoe, A timed model for communicating sequential processes, TCS 58, 1988, pp. 249\u2013261.","journal-title":"TCS"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55092-5_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:57:29Z","timestamp":1605628649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55092-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540550921","9783540466925"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-55092-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}