{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T19:25:45Z","timestamp":1770751545478,"version":"3.50.0"},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[1993,11,1]],"date-time":"1993-11-01T00:00:00Z","timestamp":752112000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1993,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            The real time process algebra of Baeten and Bergstra [\n            <jats:italic>Formal Aspects of Computing<\/jats:italic>\n            ,\n            <jats:bold>3<\/jats:bold>\n            , 142\u2013188 (1991)] is extended to real space by requiring the presence of spatial coordinates for each atomic action, in addition to the required temporal attribute. It is found that asynchronous communication cannot easily be avoided. Based on the state operators of Baeten and Bergstra [\n            <jats:italic>Information and Computation<\/jats:italic>\n            ,\n            <jats:bold>78<\/jats:bold>\n            , 205\u2013245 (1988)] and following Bergstra et al. [\n            <jats:italic>Proc. Seminar on Concurrency<\/jats:italic>\n            , LNCS 197, Springer, 1985, pp. 76\u201395], asychronous communication mechanisms are introduced as an additional feature of real space process algebra. The overall emphasis is on the introductory explanation of the features of real space process algebra, and characteristic examples are given for each of these.\n          <\/jats:p>","DOI":"10.1007\/bf01211247","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T18:33:50Z","timestamp":1109356430000},"page":"481-529","source":"Crossref","is-referenced-by-count":12,"title":["Real space process algebra"],"prefix":"10.1145","volume":"5","author":[{"given":"J. C. M.","family":"Baeten","sequence":"first","affiliation":[{"name":"Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600, MB Eindhoven, The Netherlands"}]},{"given":"J. A.","family":"Bergstra","sequence":"additional","affiliation":[{"name":"Programming Research Group, University of Amsterdam, Amsterdam"},{"name":"Department of Philosophy, Utrecht University, Utrecht, The Netherlands"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90027-2"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01898401"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-54430-5_83","volume-title":"Proc. CONCUR'91","author":"Baeten J. C. M.","year":"1991"},{"key":"e_1_2_1_2_4_2","first-page":"473","volume-title":"Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"Baeten J. C. M.","year":"1991"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Baeten J. C. M. and Bergstra J. A.: The State Operator in Real Time Process Algebra. In: J. W. de Bakker C. Huizing W. P. de Roever and G. Rozenberg (eds) Real-Time: Theory in Practice Proc. REX Workshop Mook 1991 . LNCS 600 Springer pp. 107\u2013123 (1992).","DOI":"10.1007\/BFb0031989"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"crossref","unstructured":"Baeten J. C. M. and Weijland W. P.: Process Algebra. Cambridge Tracts in Theor. Comp. Sci. 18 Cambridge University Press 1990.","DOI":"10.1017\/CBO9780511624193"},{"issue":"2","key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3233\/FI-1986-9202","article-title":"Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra","author":"Baeten J. C. M.","year":"1986","journal-title":"Fundamenta Informaticae"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(84)80025-X"},{"key":"e_1_2_1_2_9_2","unstructured":"Bergstra J. A.: A Mode Transfer Operator in Process Algebra. Report P8808b Programming Research Group University of Amsterdam (1989)."},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"crossref","unstructured":"Bergstra J. A.: A Process Creation Mechanism in Process Algebra. In: J. C. M. Baeten (ed.) Applications of Process Algebra . Cambridge Tracts in Theor. Comp. Sci. 17 Cambridge University Press pp. 81\u201388 (1990).","DOI":"10.1017\/CBO9780511608841.006"},{"key":"e_1_2_1_2_11_2","volume-title":"Report CS-R9206","author":"de Boer F. S.","year":"1992"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"crossref","unstructured":"Bergstra J. A. Klop J. W. and Tucker J. V.: Process Algebra with Asynchronous Communication Mechanisms. In: S. D. Brookes A. W. Roscoe and G. Winskel (eds) Proc. Seminar on Concurrency . LNCS 197 Springer pp. 76\u201395 (1985).","DOI":"10.1007\/3-540-15670-4_4"},{"key":"e_1_2_1_2_13_2","volume-title":"Report CS-R9219","author":"Fokkink W. J.","year":"1992"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","unstructured":"van Glabbeek R. J. and Vaandrager F. W.: Modular Specifications in Process Algebra (with Curious Queues). In: M. Wirsing and J. A. Bergstra (eds) Algebraic Methods: Theory Tools and Applications Passau 1987. LNCS 394 Springer pp. 465\u2013506 (1989).","DOI":"10.1007\/BFb0015049"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/3-540-54430-5_98","volume-title":"Proc. CONCUR'91","author":"Jeffrey A.","year":"1991"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/3-540-55092-5_27","volume-title":"Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"Jeffrey A.","year":"1991"},{"key":"e_1_2_1_2_17_2","volume-title":"Report CS-R9106","author":"Klusener A. S.","year":"1991"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Koymans C. P. J. and Mulder J. C.: A Modular Approach to Protocol Verification Using Process Algebra. In: J. C. M. Baeten (ed.) Applications of Process Algebra . Cambridge Tracts in Theor. Comp. Sci. 17 Cambridge University Press pp. 261\u2013306 (1990).","DOI":"10.1017\/CBO9780511608841.012"},{"key":"e_1_2_1_2_19_2","first-page":"126","volume-title":"Proc. 14th ICALP","author":"Larsen K. G.","year":"1987"},{"key":"e_1_2_1_2_20_2","first-page":"401","volume-title":"Proc. CONCUR'90","author":"Moller F.","year":"1990"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/3-540-54430-5_105","volume-title":"Proc. CONCUR'91","author":"Murphy D. V. J.","year":"1991"},{"key":"e_1_2_1_2_22_2","volume-title":"Report RT-C26","author":"Nicollin X.","year":"1991"},{"key":"e_1_2_1_2_23_2","unstructured":"Plotkin G. D.: A Structural Approach to Operational Semantics. Report DAIMI FN-19 Comp. Sci. Dept Aarhus University 1981."},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90030-8"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","unstructured":"Vaandrager F. W.: Two Simple Protocols. In: J. C. M. Baeten (ed.) Applications of Process Algebra . Cambridge Tracts in Theor. Comp. Sci. 17 Cambridge University Press pp. 23\u201344 (1990).","DOI":"10.1017\/CBO9780511608841.003"},{"key":"e_1_2_1_2_26_2","doi-asserted-by":"crossref","unstructured":"Vaandrager F. W.: Process Algebra Semantics of POOL. In: J. C. M. Baeten (ed.) Applications of Process Algebra. Cambridge Tracts in Theor. Comp. Sci. 17 Cambridge University Press 173\u2013236 (1990).","DOI":"10.1017\/CBO9780511608841.010"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01211247.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01211247\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01211247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:21:04Z","timestamp":1641482464000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01211247"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,11]]},"references-count":26,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1993,11]]}},"alternative-id":["10.1007\/BF01211247"],"URL":"https:\/\/doi.org\/10.1007\/bf01211247","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,11]]}}}