{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:39Z","timestamp":1725663339938},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540128960"},{"type":"electronic","value":"9783540387756"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-12896-4_353","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:57:23Z","timestamp":1330192643000},"page":"34-44","source":"Crossref","is-referenced-by-count":4,"title":["Algebraic tools for system construction"],"prefix":"10.1007","author":[{"given":"J. A.","family":"Bergstra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. W.","family":"Klop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. V.","family":"Tucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"ADJ (GOGUEN, J.A., J.W. THATCHER, E.G. WAGNER & J.B. WRIGHT), Initial algebra semantics and continuous algebras","key":"3_CR1"},{"key":"3_CR2","first-page":"80","volume-title":"Current trends in programming methodology IV, Data structuring","author":"J. A. Goguen","year":"1978","unstructured":"ADJ (GOGUEN, J.A., J.W. THATHER & E.G. WAGNER), An initial algebra approach to the specification, correctness and implementation of abstract data types, in R.T. Yeh (ed.): Current trends in programming methodology IV, Data structuring, Prentice Hall, Englewood Cliffs (1978), 80\u2013149."},{"unstructured":"ADJ (THATCHER, J.W., E.G. WAGNER & J.B. WRIGHT), More advice on structuring compilers and proving them correct, in: H.A. Maurer (ed.), Automata, languages and programming, 6th Colloquium, Springer LNCS 71 (1979), 596\u2013615.","key":"3_CR3"},{"doi-asserted-by":"crossref","unstructured":"ADJ (EHRIG, H., H.-J. KREOWSKI, J.W. THATCHER, E.G. WAGNER & J.B. WRIGHT), Parameterized data types in algebraic specification languages, in: J.W. de Bakker & J. van Leeuwen (eds.), Automata, languages and programming, 7th Colloquium, Springer LNCS (1980), 157\u2013168.","key":"3_CR4","DOI":"10.1007\/3-540-10003-2_68"},{"doi-asserted-by":"crossref","unstructured":"BACK, R.J., Locality in modular systems, in: M. Nielsen & E.M. Schmidt (eds.), Automata, languages and Programming, 9th Colloquium, Springer LNCS 140 (1982), 1\u201313.","key":"3_CR5","DOI":"10.1007\/BFb0012752"},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"BACKUS, J., Can programming be liberated from the von Neumann style? \u2014 a functional style and its algebra of programs, CACM 21 (1978), 613\u2013639.","journal-title":"CACM"},{"unstructured":"BACKUS, J., Is computer science based on the wrong fundamental concept of a \u2018program'? An extended concept, in: J.W. de Bakker & J.C. van Vliet (eds.), Algorithmic languages, North-Holland 1981, 133\u2013165.","key":"3_CR7"},{"doi-asserted-by":"crossref","unstructured":"DE BAKKER, J.W. & J.I. ZUCKER, Denotational semantics of concurrency, Proc. 14th ACM Symp. on Theory of Computing (1982), 153\u2013158.","key":"3_CR8","DOI":"10.1145\/800070.802188"},{"doi-asserted-by":"crossref","unstructured":"DE BAKKER, J.W. & J.I. ZUCKER, Processes and the denotational semantics of concurrency, Report IW 209\/82, Mathematisch Centrum, 1982, to appear in Information & Control.","key":"3_CR9","DOI":"10.1145\/800070.802188"},{"unstructured":"BELL, C.G. & A. NEWELL, Computer structures: Readings and Examples, McGraw-Hill 1971.","key":"3_CR10"},{"unstructured":"BERGSTRA, J.A. & J.W. KLOP, Fixed point semantics in process algebras, Report IW 206\/82, Mathematisch Centrum, 1982.","key":"3_CR11"},{"unstructured":"BERGSTRA, J.A. & J.W. KLOP, Process algebra for communication and mutual exclusion, Report IW 218\/83, Mathematisch Centrum, 1983.","key":"3_CR12"},{"unstructured":"BERGSTRA, J.A. & J.W. KLOP, An abstraction mechanism for process algebras, Report IW 231\/83, Mathematisch Centrum, 1983.","key":"3_CR13"},{"key":"3_CR14","first-page":"292","volume":"86","author":"R. M. Burstall","year":"1980","unstructured":"BURSTALL, R.M. & J.A. GOGUEN, The semantics of CLEAR, a specification language, in: Proc. on Abstract Software specifications, Copenhagen, Springer LNCS 86 (1980), 292\u2013332.","journal-title":"LNCS"},{"unstructured":"DEW, P.M. & J.V. TUCKER, An experimental study of a timing assumption in VLSI complexity theory, Univ. of Leeds, Dept. of Computer Studies, Report 168.","key":"3_CR15"},{"unstructured":"GOGUEN, J.A. & J. MESEGUER, An initiality primer, in preparation.","key":"3_CR16"},{"volume-title":"Programming methodology","year":"1978","unstructured":"GRIES, D. (ed.), Programming methodology, Springer, Berlin 1978.","key":"3_CR17"},{"issue":"1","key":"3_CR18","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/S0019-9958(81)90082-6","volume":"51","author":"M. Hennessy","year":"1981","unstructured":"HENNESSY, M., A term model for synchronous processes, Information & Control, Vol. 51, nr.1 (1981), 58\u201375.","journal-title":"Information & Control"},{"key":"3_CR19","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"HOARE, C.A.R., Communicating sequential processes, C. ACM 21 (1978), 666\u2013677.","journal-title":"C. ACM"},{"unstructured":"HOARE, C.A.R., S.D. BROOKES & A.W. ROSCOE, A theory of communicating sequential processes, to appear in JACM.","key":"3_CR20"},{"doi-asserted-by":"crossref","unstructured":"MILNER, R., A Calculus for Communicating Systems, Springer LNCS 92, 1980.","key":"3_CR21","DOI":"10.1007\/3-540-10235-3"},{"key":"3_CR22","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/0004-3702(82)90012-1","volume":"18","author":"A. Newell","year":"1982","unstructured":"NEWELL, A., The knowledge level, Artificial Intelligence 18 (1982), 78\u2013127.","journal-title":"Artificial Intelligence"},{"key":"3_CR23","volume-title":"The OCCAM programming manual","author":"Occam","year":"1982","unstructured":"OCCAM, The OCCAM programming manual, INMOS, Bristol 1982."},{"doi-asserted-by":"crossref","unstructured":"OLDEROG, E.R. & C.A.R. HOARE, Specification-oriented semantics for communicating processes, in: J. D\u00edaz (ed.), Automata. languages and programming, 10th Colloquium, Springer LNCS 154 (1983), 561\u2013572.","key":"3_CR24","DOI":"10.1007\/BFb0036937"},{"key":"3_CR25","volume-title":"Structured computer organisation","author":"A. S. Tanenbaum","year":"1976","unstructured":"TANENBAUM, A.S., Structured computer organisation, Prentice Hall, Englewood Cliffs, 1976."},{"key":"3_CR26","volume-title":"Computer networks","author":"A. S. Tanenbaum","year":"1981","unstructured":"TANENBAUM, A.S., Computer networks, Prentice Hall, Englewood Cliffs, 1981."},{"doi-asserted-by":"crossref","unstructured":"WULF, W.A., Abstract data types: a retrospective and prospective view, in: P. Dembinski (ed.), Mathematical Foundations of Computer Science 1980, Springer LNCS (1980), 94\u2013112.","key":"3_CR27","DOI":"10.1007\/BFb0022497"}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12896-4_353.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:26:24Z","timestamp":1640913984000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12896-4_353"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540128960","9783540387756"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-12896-4_353","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}