{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T22:57:55Z","timestamp":1754261875001},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540210023"},{"type":"electronic","value":"9783540399100"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39910-0_7","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T08:05:40Z","timestamp":1294992340000},"page":"161-181","source":"Crossref","is-referenced-by-count":1,"title":["A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"J. D. Brock and W. B. Ackermann. Scenarios: A Model of Nondeterminate Computation. In: J. Diaz, I. Ramos (eds): Lecture Notes in Computer Science 107, Springer 1981, 252-259.","DOI":"10.1007\/3-540-10699-5_102"},{"key":"7_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-623.","DOI":"10.1007\/978-94-009-7893-5_16"},{"key":"7_CR3","first-page":"125","volume-title":"IFIP TC2 Working Conference on Formal Description of Programming Concepts II","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":"7_CR4","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-3-642-46490-4_18","volume-title":"Program Transformation and Programming Environments. NATO ASI Series. Series F: 8","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":"7_CR5","first-page":"4","volume-title":"TAPSOFT 85. Lecture Notes in Computer Science 185","author":"M Broy","year":"1985","unstructured":"M. Broy. Specification and Top Down Design of Distributed Programs. In: H. Ehrig et al. (eds.): TAPSOFT 85. Lecture Notes in Computer Science 185. Berlin-Heidelberg-New York-Tokyo: Springer 1985, 4\u201328."},{"key":"7_CR6","unstructured":"M. Broy. Predicative Specification of Robust Correctness for Functional Programs Describing Communicating Networks. Universit\u00e4t Passau, Fakult\u00e4t f\u00fcr Mathematik und Informatik, MIP-8605, April 1986."},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0020-0190(87)90227-4","volume":"25","author":"M Broy","year":"1987","unstructured":"M. Broy. Predicative Specification for Functional Programs Describing Communicating Networks. Information Processing Letters 25, 1987, 93\u2013101.","journal-title":"Information Processing Letters"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0167-6423(88)90016-0","volume":"10","author":"M Broy","year":"1988","unstructured":"M. Broy. Nondeterministic Data Flow Programs: How to avoid the merge anomaly. Science of Computer Programming 10 (1988), 65\u201385.","journal-title":"Science of Computer Programming"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/151299.151302","volume":"2","author":"M Broy","year":"1993","unstructured":"M. Broy. Functional Specification of Time-Sensitive Communicating Systems. ACM Transactions on Software Engineering and Methodology 2:1, 1993, 1\u201346.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/TSE.1981.230815","volume":"SE-7","author":"M Broy","year":"1983","unstructured":"M. Broy and P. Pepper. Programming as a formal activity. IEEE Transactions on Software Engineering SE-7:1, 1983, 14\u201322","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR11","unstructured":"E. W. Dijkstra. A Discipline of Programming Prentice Hall, 1976."},{"key":"7_CR12","unstructured":"P. Dybier. Reasoning about Streams in Intuitionistic Logic. Unpublished manuscript"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/69610.357988","volume":"27","author":"ECR Hehner","year":"1984","unstructured":"E.C.R. Hehner. Predicative Specification. Part I+II. CACM 27:2 (1984) 134\u2013151.","journal-title":"CACM"},{"key":"7_CR14","unstructured":"H. Hu\u00dfmann. Nichtdeterministische algebraische Spezifikation. Dissertation, Universit\u00e4t Passau, Fakult\u00e4t f\u00fcr Mathematik und Informatik, 1989."},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-51081-8_105","volume":"355","author":"SJ Garland","year":"1986","unstructured":"S. J. Garland, J. V. Guttag. On Overview of LP, The Larch Prover. Lecture Notes in Computer Science 355, 1986, 137\u2013151.","journal-title":"Lecture Notes in Computer Science"},{"key":"7_CR16","unstructured":"P. Hitchcock and D. Park. Induction Rules and Termination Proofs. M. Nivat (ed.): Proc. 1st ICALP. North Holland 73."},{"key":"7_CR17","first-page":"337","volume-title":"Formal Description of Programming Concepts","author":"RM Keller","year":"1978","unstructured":"R. M. Keller. Denotational Semantics for Parallel Programs with Indeterminate Operators. In: E. J. Neuhold (ed.): Formal Description of Programming Concepts. Amsterdam North Holland 1978, 337\u2013366."},{"key":"7_CR18","unstructured":"Z. Manna. Mathematical Theory of Computation. McGraw Hill 1974"},{"key":"7_CR19","unstructured":"Z. Manna and R. Waldinger. A Logical Basis for Computer Programming. Addison-Wesley 1985."},{"key":"7_CR20","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/3-540-10007-5_47","volume-title":"Abstract Software Specification. Lecture Notes in Computer Science 86","author":"D Park","year":"1980","unstructured":"D. Park. On the Semantics of Fair Parallelism. In: D. Bj\u00f6rner (ed.): Abstract Software Specification. Lecture Notes in Computer Science 86, Berlin-Heidelberg-New York: Springer 1980, 504\u2013526."},{"key":"7_CR21","unstructured":"P. Pepper. Application of Modal Logics to the Reasoning about Applicative Programs. Habilitation Thesis. Technische Universit\u00e4t M\u00fcnchen, Fakult\u00e4t f\u00fcr Mathematik und Informatik 1985."},{"key":"7_CR22","first-page":"294","volume-title":"ICALP 90, Lecture Notes in Computer Science 443","author":"A Rabinovich","year":"1990","unstructured":"A. Rabinovich and B. A. Trakhtenbrot. Communication among Relations. In: M.S. Paterson: ICALP 90, Lecture Notes in Computer Science 443, Berlin-Heidelberg-New York: Springer 1990, 294\u2013307."},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"D. Scott. Lectures on a Mathematical Theory of Computation. In: Theoretical Foundations of Programming Methodology, edited by M. Broy and G. Schmidt. D. Reidel Publishing Company, 1982, pp. 145-292.","DOI":"10.1007\/978-94-009-7893-5_9"}],"container-title":["Lecture Notes in Computer Science","Verification: Theory and Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39910-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:07:07Z","timestamp":1559941627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39910-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540210023","9783540399100"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39910-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}