{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:50Z","timestamp":1725457010712},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540516980"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0015050","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T01:08:54Z","timestamp":1134263334000},"page":"507-554","source":"Crossref","is-referenced-by-count":2,"title":["An algebraic specification of process algebra, including two examples"],"prefix":"10.1007","author":[{"given":"S.","family":"Mauw","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"J.C.M. Baeten, Procesalgebra, [in Dutch], Kluwer, 1986."},{"key":"18_CR2","unstructured":"J.C.M. Baeten, J.A. Bergstra & J.W. Klop, Conditional axioms and \u03b1\/\u03b2 calculus in process algebra, Proc. IFIP Conf. on Formal Description of Programming Concepts \u2014 III, Ebberup 1986, (M. Wirsing, ed.), North-Holland Amsterdam, pp.53\u201375, 1987."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten, J.A. Bergstra & J.W. Klop, On the consistency of Koomen's Fair Abstraction Rule, Report CS-R8504, Centre for Math. and Comp. Sci., Amsterdam 1985, to appear in TCS 51 (1\/2), 1987.","DOI":"10.1016\/0304-3975(87)90052-1"},{"issue":"2","key":"18_CR4","first-page":"127","volume":"IX","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), pp. 127\u2013168, 1986.","journal-title":"Fund. Inf."},{"key":"18_CR5","unstructured":"J.A. Bergstra, Put and get, primitives for synchronous unreliable message passing, CIF report LGPS 3, State University of Utrecht, 1985."},{"key":"18_CR6","unstructured":"J.A. Bergstra, J. Heering & P. Klint, Algebraic definition of a simple programming language, Report CS-R8504, Centre for Math. and Comp. Sci., Amsterdam 1985."},{"key":"18_CR7","unstructured":"J.A. Bergstra, J. Heering & P. Klint, ASF \u2014 An algebraic specification formalism, report CS-R8705, Centre for Math. and Comp. Sci., Amsterdam 1987."},{"key":"18_CR8","unstructured":"J.A. Bergstra & J.W. Klop, Algebra of communicating processes, Proc. CWI Symp. Math. & Comp. Sci. (J.W. de Bakker, M. Hazewinkel & J.K. Lenstra, eds.), pp. 89\u2013138, North-Holland, 1986."},{"issue":"1","key":"18_CR9","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"J.A. Bergstra & J.W. Klop, Algebra of communicating processes with abstraction, TCS 37 (1), pp. 77\u2013121, 1985.","journal-title":"TCS"},{"key":"18_CR10","first-page":"323","volume":"32","author":"J.A. Bergstra","year":"1986","unstructured":"J.A. Bergstra & J.W. Klop, Conditional Rewrite Rules: Confluence and Termination, JCSS 32, pp. 323\u2013362, 1986.","journal-title":"JCSS"},{"issue":"1\/3","key":"18_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 (1\/3), pp. 109\u2013137, 1984.","journal-title":"Inf. & Control"},{"key":"18_CR12","unstructured":"E. Brinksma (ed.), LOTOS, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO DIS 8807, 1987."},{"key":"18_CR13","unstructured":"H. Ehrig, W. Fey & H. Hansen, ACT ONE, an algebraic specification language with two levels of semantics, TU Berlin, FB 20, Techn. Report 83-03, 1983."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"H. Ehrig & B. Mahr, Fundamentals of Algebraic Specification 1, Springer verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"18_CR15","unstructured":"L.M.G. Feijs, H.B.M. Jonkers, C.P.J. Koymans & G.R. Renardel de Lavalette, Formal definition of the design language COLD-K, Technical Report, ESPRIT project 432, Doc.Nr. METEOR\/t7\/PRLE\/7, 1987."},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J.V. Guttag","year":"1978","unstructured":"J.V. Guttag & J.J. Horning, The algebraic specification of abstract datatypes, Acta Informatica 10, pp. 27\u201352, 1978.","journal-title":"Acta Informatica"},{"key":"18_CR17","unstructured":"C.A.R. Hoare, Communicating sequential processes, Prentice Hall International, 1985."},{"key":"18_CR18","unstructured":"H.B.M. Jonkers, A concrete syntax for COLD-K, Philips Research Laboratories Eindhoven, 1988."},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"R. Milner, A calculus of communicating systems, Springer LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"W. Reisig, Petrinetze, Springer-Verlag, 1982.","DOI":"10.1007\/978-3-642-96705-4"},{"key":"18_CR21","unstructured":"A.S. Tanenbaum, Computer Networks, Prentice Hall, 1981."},{"key":"18_CR22","unstructured":"F.W. Vaandrager, Verification of two communication protocols by means of process algebra, Report CS-R8608, Centre for Math. and Comp. Sci., Amsterdam 1986."},{"key":"18_CR23","unstructured":"H.R. Walters, An annotated algebraic specification of the static semantics of POOL, FVI report 86-20, University of Amsterdam, 1986."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methods: Theory, Tools and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0015050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T09:46:07Z","timestamp":1586598367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540516980"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0015050","relation":{},"subject":[]}}