{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:24Z","timestamp":1725663984493},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572084"},{"type":"electronic","value":"9783540479680"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57208-2_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:18:20Z","timestamp":1330240700000},"page":"308-323","source":"Crossref","is-referenced-by-count":7,"title":["Non interleaving 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,27]]},"reference":[{"issue":"3","key":"22_CR1","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0890-5401(88)90027-2","volume":"78","author":"J. C. M. M. Baeten","year":"1988","unstructured":"J.C.M. Baeten & J.A. Bergstra, Global renaming operators in concrete process algebra, Inf. & Comp. 78 (3), 1988, pp. 205\u2013245.","journal-title":"Inf. & Comp."},{"issue":"2","key":"22_CR2","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J. C. M. M. Baeten","year":"1991","unstructured":"J.C.M. Baeten & J.A. Bergstra, Real time process algebra, in Formal Aspects of Computing 3 (2), 1991, pp. 142\u2013188.","journal-title":"Formal Aspects of Computing"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten & W.P. Weijland, Process algebra, Cambridge Tracts in TCS 18, Cambridge University Press 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"22_CR4","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":"22_CR5","doi-asserted-by":"crossref","unstructured":"J.A. Bergstra & J.W. Klop, Verification of an alternating bit protocol by means of process algebra, in: Math. Methods ov Spec. and Synthesis of Software Systems '85 (W. Bibel & K.P. Jantke, eds.), Springer LNCS 215, 1986, pp. 9\u201323.","DOI":"10.1007\/3-540-16444-8_1"},{"key":"22_CR6","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":"22_CR7","doi-asserted-by":"crossref","unstructured":"E. Best, R. Devillers & J.G. Hall, The Petri box calculus: a new causal algebra with multilabel communication, in: Advances in Petri Nets 92 (G. Rozenberg, ed.), Springer LNCS 609, 1992, pp. 21\u201369.","DOI":"10.1007\/3-540-55610-9_167"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1145\/76359.76369","volume":"10","author":"I. Castellani","year":"1989","unstructured":"I. Castellani & M. Hennessy, Distributed bisimulations, JACM 10, 1989, pp. 887\u2013911.","journal-title":"JACM"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek & F.W. Vaandrager, Petri net models for algebraic theories of concurrency, in: Proc. PARLE, Eindhoven (J.W. de Bakker, A.J. Nijman & P.C. Treleaven, eds.), Springer LNCS 259, 1987, pp. 224\u2013242.","DOI":"10.1007\/3-540-17945-3_13"},{"key":"22_CR10","first-page":"339","volume":"324","author":"U. Goltz","year":"1988","unstructured":"U. Goltz, On representing CCS programs by finite Petri nets, in Proc. MFCS 88, Springer LNCS 324, 1988, pp. 339\u2013350.","journal-title":"Proc. MFCS 88, Springer LNCS"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel & J. Zwiers, Action systems and action refinement in the development of parallel systems, in: Proc. CONCUR'91 (J.C.M. Baeten & J.F. Groote, eds.), Springer LNCS 527, 1991, pp. 298\u2013316.","DOI":"10.1007\/3-540-54430-5_96"},{"key":"22_CR12","unstructured":"A. Kiehn, Distributed bisimulations for finite CCS, report 7\/89, University of Sussex 1989."},{"issue":"1","key":"22_CR13","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/151233.151240","volume":"36","author":"R. Milner","year":"1993","unstructured":"R. Milner, Elements of interaction (Turing Award lecture), Comm. of the ACM 36 (1), 1993, pp. 78\u201389.","journal-title":"Comm. of the ACM"},{"issue":"2","key":"22_CR14","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1016\/0304-3975(93)90176-T","volume":"107","author":"R. Milner","year":"1993","unstructured":"R. Milner & F. Moller, Unique decomposition of processes, Theor. Comp. Sci. 107 (2), 1993, pp. 357\u2013363.","journal-title":"Theor. Comp. Sci."},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"M. Nielsen & P.S. Thigarajan, Degrees of non-determinism and concurrency: a Petri net view, in: Proc. 5th FST&TCS (M. Joseph & R. Shyamasundar, eds.), Springer LNCS 181, 1984, pp. 89\u2013118.","DOI":"10.1007\/3-540-13883-8_66"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"C. Petri, Introduction to general net theory, in: Net Theory and Applications (W. Brauer, ed.), Springer LNCS 84, 1980, pp. 1\u201319.","DOI":"10.1007\/3-540-10001-6_21"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"L. Pomello, Some equivalence notions for concurrent systems. An overview, in: Advances in Petri Nets 1985 (G. Rozenberg, ed.), Springer LNCS 222, 1986, pp. 381\u2013400.","DOI":"10.1007\/BFb0016222"}],"container-title":["Lecture Notes in Computer Science","CONCUR'93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57208-2_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:09:16Z","timestamp":1605629356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57208-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572084","9783540479680"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-57208-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}