{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:08Z","timestamp":1725663668991},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544302"},{"type":"electronic","value":"9783540383574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54430-5_81","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:48:54Z","timestamp":1330192134000},"page":"61-77","source":"Crossref","is-referenced-by-count":16,"title":["Towards a design calculus for communicating programs"],"prefix":"10.1007","author":[{"given":"Ernst-R\u00fcdiger","family":"Olderog","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"7_CR1","first-page":"60","volume":"39","author":"D. Bj\u00f8rner","year":"1989","unstructured":"D. Bj\u00f8rner, A ProCoS project description, ESPRIT BRA 3104, Bulletin of the EATCS 39 (1989) 60\u201373.","journal-title":"Bulletin of the EATCS"},{"key":"7_CR2","unstructured":"R.H. Campbell, A.N. Habermann, The specification of process synchronisation by path expressions, Lecture Notes in Comput. Sci. 16 (Springer-Verlag, 1974)."},{"key":"7_CR3","unstructured":"He Jifeng, Specification-oriented semantics for the ProCoS level 0 language, ProCoS Doc. Id. PRG\/OU HJF 5\/1, Oxford Univ., 1990."},{"key":"7_CR4","unstructured":"He Jifeng, Specification-oriented semantics for the ProCoS programming language PLtime, ProCoS Doc. Id. PRG\/OU HJF 7\/2, Oxford Univ., 1991."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"E.C.R. Hehner, Predicative programming, Comm. ACM 27 (2), 1984.","DOI":"10.1145\/69610.357990"},{"key":"7_CR6","first-page":"141","volume-title":"Mathematical Logic and Programming Languages","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare, Programs are predicates, in: C.A.R. Hoare, J.C. Shepherdson (Eds.), Mathematical Logic and Programming Languages (Prentice-Hall, London, 1985) 141\u2013155."},{"key":"7_CR7","unstructured":"INMOS Ltd., occam 2 Reference Manual (Prentice Hall, 1988)."},{"key":"7_CR8","volume-title":"Syntax and informal semantics for the ProCoS specification language 0, ProCoS Doc. Id. ID\/DTH KMJ 4\/2","author":"K.M. Jensen","year":"1990","unstructured":"K.M. Jensen, H. Rischel, E.-R. Olderog, S R\u00f6ssig, Syntax and informal semantics for the ProCoS specification language 0, ProCoS Doc. Id. ID\/DTH KMJ 4\/2, Tech. Univ. Denmark, 1990."},{"key":"7_CR9","volume-title":"Specification of a gas-burner, ProCoS Doc. Id. ID\/DTH KMJ 10\/1.2","author":"K.M. Jensen","year":"1990","unstructured":"K.M. Jensen, Specification of a gas-burner, ProCoS Doc. Id. ID\/DTH KMJ 10\/1.2, Tech. Univ. Denmark, 1990."},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"L. Lamport","year":"1983","unstructured":"L. Lamport, Specifying concurrent modules, ACM TOPLAS 5 (1983) 190\u2013222.","journal-title":"ACM TOPLAS"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog, Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship (Cambridge University Press, 1991).","DOI":"10.1017\/CBO9780511526589"},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.-R. Olderog","year":"1986","unstructured":"E.-R. Olderog, C.A.R. Hoare, Specification-oriented semantics for communicating processes, Acta Inform. 23 (1986) 9\u201366.","journal-title":"Acta Inform."},{"key":"7_CR13","unstructured":"E.-R. Olderog, S. R\u00f6ssig, Predicative semantics of MIX, ProCoS Doc. Id. OLD ERO 3\/1, Univ. Oldenburg, 1991."},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0304-3975(76)90022-0","volume":"3","author":"D. Park","year":"1976","unstructured":"D. Park, Finiteness is mu-ineffable, Theoret. Comput. Sci. 3 (1976) 173\u2013181.","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR15","volume-title":"Automatic transformation SL0 \u2192 PL, ProCoS Draft Note","author":"W. Pawlowski","year":"1991","unstructured":"W. Pawlowski, Automatic transformation SL0 \u2192 PL, ProCoS Draft Note, Techn. Univ. Denmark, 1991."},{"key":"7_CR16","unstructured":"S. R\u00f6ssig, Transformation of SL0 specifications into PL programs, ProCoS Doc. Id. OLD SR 1\/4, Univ. Oldenburg, 1990."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"S. R\u00f6ssig, M. Schenke, Specification and stepwise development of communicating systems, to appear in: Proc. VDM '91 Symposium, Noordwijkerhout, The Netherlands, Lecture Notes in Comput. Sci., Springer-Verlag, 1991).","DOI":"10.1007\/3-540-54834-3_11"},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0304-3975(88)90049-7","volume":"60","author":"A.W. Roscoe","year":"1988","unstructured":"A.W. Roscoe, C.A.R. Hoare, The laws of occam programming, Theoret. Comput. Sci. 60 (1988) 177\u2013229.","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR19","unstructured":"J. Sander, Korrektheit der Expansions-Strategie f\u00fcr die Transformation von SL0-Spezifikationen in PL-Programme, Studienarbeit, Univ. Oldenburg, 1991."},{"key":"7_CR20","unstructured":"M. Schenke, The bracket model \u2014 a discrete model for timed processes, ProCoS Doc. Id. OLD MS 2\/2, Univ. Oldenburg, 1991."},{"key":"7_CR21","unstructured":"Zhou ChaoChen, C.A.R. Hoare, A.P. Ravn, A duration calculus for real time requirements in embedded systems, ProCoS Doc. Id. PRG\/OU ZCC 2, Oxford Univ., 1990."},{"key":"7_CR22","unstructured":"J. Zwiers, Compositionality, Concurrency, and Partial Correctness \u2014 Proof Theories for Networks of Processes and Their Relationship, Lecture Notes in Comput. Sci. 321 (Springer-Verlag, 1989)."}],"container-title":["Lecture Notes in Computer Science","CONCUR '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54430-5_81.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:54:23Z","timestamp":1605628463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_81"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_81","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}