{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:39Z","timestamp":1725663099048},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151982"},{"type":"electronic","value":"9783540393023"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15198-2_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:10:28Z","timestamp":1330193428000},"page":"4-28","source":"Crossref","is-referenced-by-count":9,"title":["Specification and top down design of distributed systems"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"2_CR1","unstructured":"H. Barringer, R. Kuiper, A. Pnueli: A Compositional Temporal Approach to a CSP-like Language. (Unpublished manuscript)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"M. Broy: A Fixed Point Approach to Applicative Multiprogramming. In: M. Broy, G. Schmidt (eds.): Theoretical Foundations of Programming Methodology, Reidel Publ. Comp. 1982, 565\u2013623","DOI":"10.1007\/978-94-009-7893-5_16"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0020-0190(83)90087-X","volume":"17","author":"M. Broy","year":"1983","unstructured":"M. Broy: Denotational Semantics of Communicating Processes based on a Language for Applicative Multiprogramming. IPL 17:1 1983, 29\u201338","journal-title":"IPL"},{"key":"2_CR4","first-page":"125","volume-title":"IFIP TC2 Working Conference on Formal Description of Programming Concepts II, Garmisch, June 1982","author":"M. Broy","year":"1983","unstructured":"M. Broy: Fixed Point Theory for Communication and Concurrency. In: D. Bj\u00f6rner (ed.): IFIP TC2 Working Conference on Formal Description of Programming Concepts II, Garmisch, June 1982, Amsterdam-New York-Oxford: North Holland Publ. Company 1983, 125\u2013147"},{"key":"2_CR5","unstructured":"M. Broy: Applicative Real Time Programming. In: R.E.A. Mason (ed.): Information Processing 83, 259\u2013264"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"M. Broy: Semantics of Communicating Processes. Information and Control (to appear)","DOI":"10.1016\/S0019-9958(84)80048-0"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/3-540-12920-0_15","volume-title":"STACS 84","author":"M. Broy","year":"1984","unstructured":"M. Broy: Denotational Semantics of Concurrent Programs with Shared Memory. In: M. Fontet, K. Mehlhorn (eds.): STACS 84, Lecture Notes in Computer Science 166, Berlin-Heidelberg-New York: Springer 1984, 163\u2013173"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/BFb0030301","volume-title":"Mathematical Foundations of Computer Science 1984","author":"M. Broy","year":"1984","unstructured":"M. Broy: On the Herbrand Kleene Universe of Nondeterministic Computations. In: M.P. Chytil, V. Koubeck (eds.): Mathematical Foundations of Computer Science 1984. Lecture Notes in Computer Science 176, Berlin-Heidelberg-New York-Tokyo: Springer 1984, 214\u2013222"},{"key":"2_CR9","series-title":"NATO ASI Series. Series F","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-3-642-46490-4_18","volume-title":"Program Transformation and Programming Environments","author":"M. Broy","year":"1984","unstructured":"M. Broy: Algebraic Methods for Program Construction: The Project CIP. In: P. Pepper (ed): Program Transformation and Programming Environments. NATO ASI Series. Series F: 8. Berlin-Heidelberg-New York-Tokyo: Springer 1984, 199\u2013222"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"M. Broy, M. Wirsing: Partial Abstract Types. Acta Informatica 18, 1982, 47\u201364","journal-title":"Acta Informatica"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1007\/3-540-06859-7_145","volume-title":"Colloque sur la Progammation","author":"J. B. Dennis","year":"1974","unstructured":"J.B. Dennis: First Version of a Data Flow Procedure Language. In B. Robinet (ed.): Colloque sur la Progammation, Lecture Notes in Computer Science 19, Berlin-Heidelberg-New York: Springer 1974, 362\u2013367"},{"issue":"2","key":"2_CR12","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/69610.357988","volume":"27","author":"E. C. R. R. Hehner","year":"1984","unstructured":"E.C.R. Hehner: Predicative Programming Part I+II. CACM 27:2 (1984) 134\u2013151","journal-title":"CACM"},{"key":"2_CR13","unstructured":"C.A.R. Hoare, S.D. Brookes, A.W. Roscoe: A Theory of Communicating Sequential Processes. Oxford University Computing Laboratory, Programming Research Group, Technical Monograph PRG-21, Oxford 1981"},{"key":"2_CR14","first-page":"994","volume-title":"Proc. of the IFIP Congress 77","author":"G. Kahn","year":"1977","unstructured":"G. Kahn, D. MacQueen 77: Coroutines and Networks of Parallel Processes. In: Proc. of the IFIP Congress 77, Amsterdam:North-Holland 1977, 994\u2013998"},{"key":"2_CR15","first-page":"337","volume-title":"Formal Description of Programming Concepts","author":"R. M. Keller","year":"1978","unstructured":"R. M. Keller: Denotational Models for Parallel Programs with Indeterminate Operators. In: E. J. Neuhold (ed.): Formal Description of Programming Concepts. Amsterdam: North-Holland 1978, 337\u2013366"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science 92, Berlin-Heidelberg-New York: Springer, 1980"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. Plotkin","year":"1976","unstructured":"G. Plotkin: A Powerdomain Construction. SIAM J. Computing 5, 1976, 452\u2013486","journal-title":"SIAM J. Computing"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"A. Pnueli: The Temporal Logic of Programs. Proc 18th FOCS, Providence, 1977, 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"V.R. Pratt: Process Logic. 6th Popl, 1979, 83\u2013100","DOI":"10.1145\/567752.567761"},{"key":"2_CR20","first-page":"23","volume":"16","author":"M. Smyth","year":"1978","unstructured":"M. Smyth: Power Domains. J. CSS 16, 1978, 23\u201336","journal-title":"J. CSS"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"G. Winskel: Event Structure Semantics of CCS and Related Languages. In: M. Nielsen, E. M. Schmidt (eds.): ICALP 82 Lecture Notes in Computer Science 140, Berlin-Heidelberg-New York 1982, 561\u2013576","DOI":"10.1007\/BFb0012800"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15198-2_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:03Z","timestamp":1605643683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15198-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151982","9783540393023"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-15198-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}