{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:08Z","timestamp":1725663788404},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539124"},{"type":"electronic","value":"9783540463511"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53912-3_27","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:16:41Z","timestamp":1330190201000},"page":"303-335","source":"Crossref","is-referenced-by-count":3,"title":["A process specification formalism based on static COLD"],"prefix":"10.1007","author":[{"given":"J. C. M.","family":"Baeten","sequence":"first","affiliation":[]},{"given":"J. A.","family":"Bergstra","sequence":"additional","affiliation":[]},{"given":"S.","family":"Mauw","sequence":"additional","affiliation":[]},{"given":"G. J.","family":"Veltink","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"12_CR1","first-page":"342","volume":"185","author":"E. Astesiano","year":"1985","unstructured":"E. Astesiano, G.F. Mascari, G. Reggio, M. Wirsing, On the parametrised algebraic specification of concurrent systems, Proc. 10th Colloquium on Trees in Algebra and Programming (TAPSOFT), LNCS 185, pp. 342\u2013358, Springer Verlag, 1985.","journal-title":"LNCS"},{"key":"12_CR2","volume-title":"Principles of Compiler Design","author":"A.V. Aho","year":"1977","unstructured":"A.V. Aho & J.D. Ullman, Principles of Compiler Design, Addison-Wesley, Reading, Massachusetts, 1977."},{"issue":"3","key":"12_CR3","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, Inf. & Comp. 78 (3), 1988, pp. 205\u2013245.","journal-title":"Inf. & Comp."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten, J.A. Bergstra, S. Mauw & G.J. Veltink, A process specification formalism based on static COLD, report P8906b, Programming Research Group, University of Amsterdam 1990.","DOI":"10.1007\/3-540-53912-3_27"},{"key":"12_CR5","unstructured":"J.A. Bergstra, J. Heering & P. Klint (eds.), Algebraic specification, ACM Press Frontier Series, Addison-Wesley 1989."},{"key":"12_CR6","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, Information & Control 60, 1984, pp. 109\u2013137.","journal-title":"Information & Control"},{"key":"12_CR7","series-title":"Math. Research","first-page":"9","volume-title":"Math. Methods of Spec. & Synthesis of Software Systems '85","author":"J.A. Bergstra","year":"1986","unstructured":"J.A. Bergstra & J.W. Klop, Verification of an alternating bit protocol by means of process algebra, in: Math. Methods of Spec. & Synthesis of Software Systems '85, (W. Bibel & K.P. Jantke, eds.), Math. Research 31, Akademie-Verlag Berlin, pp 9\u201323, 1986."},{"key":"12_CR8","series-title":"CWI Monograph","first-page":"61","volume-title":"Math. & Comp. Sci. II","author":"J.A. Bergstra","year":"1986","unstructured":"J.A. Bergstra & J.W. Klop, Process algebra: specification and verification in bisimulation semantics, in: Math. & Comp. Sci. II, (M. Hazewinkel, J.K. Lenstra & L.G.L.T. Meertens, eds.), CWI Monograph 4, pp 61\u201394, North-Holland, Amsterdam, 1986."},{"key":"12_CR9","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, METEOR\/t7\/PRLE\/7, 1987."},{"key":"12_CR10","first-page":"88","volume":"328","author":"S.J. Goldsack","year":"1988","unstructured":"S.J. Goldsack, Specification of an operating system kernel: FOREST and VDM compared, in: VDM'88 (R.Blomfield, L.Marshall, R.Jones eds.) LNCS 328, pp. 88\u2013100, Springer Verlag, 1988.","journal-title":"LNCS"},{"key":"12_CR11","volume-title":"A syntax definition formalism, Report CS-R8633","author":"J. Heering","year":"1986","unstructured":"J. Heering & P. Klint, A syntax definition formalism, Report CS-R8633, Centre for Mathematics and Computer Science, Amsterdam, 1986."},{"key":"12_CR12","unstructured":"J. Heering & P. Klint, A syntax definition formalism, in [BHK89], pp. 283\u2013298."},{"key":"12_CR13","unstructured":"International Organization for Standardization, Information processing systems \u2014 Open systems interconnection \u2014 LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO\/TC 97\/SC 21, (E. Brinksma, ed.), 1987."},{"key":"12_CR14","first-page":"3","volume":"2B","author":"S.C. Johnson","year":"1979","unstructured":"S.C. Johnson, YACC: yet another compiler-compiler, in: UNIX Programmer's Manual, Volume 2B, pp. 3\u201337, Bell Laboratories, 1979.","journal-title":"UNIX Programmer's Manual"},{"key":"12_CR15","first-page":"39","volume":"2B","author":"M.E. Lesk","year":"1979","unstructured":"M.E. Lesk & E. Schmidt, LEX \u2014 A lexical analyzer generator, in: UNIX Programmer's Manual, Volume 2B, pp. 39\u201351, Bell Laboratories, 1979.","journal-title":"UNIX Programmer's Manual"},{"key":"12_CR16","unstructured":"H. Morell Meerfordt, Combining CSP and Meta IV into an Ada Related PDL for developing Concurrent Programs, in: Ada in Industry, The Ada companion series (S. Heilbrunner, ed.), Cambridge University Press, pp. 157\u2013171, 1988."},{"key":"12_CR17","unstructured":"S. Mauw & G.J. Veltink, A process specification formalism, report P8814, Programming Research Group, University of Amsterdam 1988."},{"key":"12_CR18","first-page":"272","volume":"352","author":"S. Mauw","year":"1989","unstructured":"S. Mauw & G.J. Veltink, An introduction to PSF d , in: Proc. International Joint Conference on Theory and Practice of Software Development, TAPSOFT '89, (J. D\u00edaz, F. Orejas, eds.) LNCS 352, pp. 272\u2013285, Springer Verlag, 1989.","journal-title":"LNCS"},{"key":"12_CR19","volume-title":"COLD-K2, the static kernel of COLD-K, Report RP\/mod-89\/8","author":"G.R. Renardel de Lavalette","year":"1989","unstructured":"G.R. Renardel de Lavalette, COLD-K 2, the static kernel of COLD-K, Report RP\/mod-89\/8, Software Engineering Research Centrum, Utrecht, 1989."},{"key":"12_CR20","volume-title":"A Parser Generator for finitely Ambiguous Context-Free Grammars, Report CS-8712","author":"J. Rekers","year":"1987","unstructured":"J. Rekers, A Parser Generator for finitely Ambiguous Context-Free Grammars, Report CS-8712, Centre for Mathematics and Computer Science, Amsterdam, 1987."},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"M. Wirsing, J.A. Bergstra, eds., The Design Language COLD, section II in: Algebraic Methods: Theory, Tools and Applications, LNCS 394, pp. 139\u2013328, Springer Verlag, 1989.","DOI":"10.1007\/BFb0015032"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methods II: Theory, Tools and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53912-3_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:51:26Z","timestamp":1605628286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53912-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539124","9783540463511"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-53912-3_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}