{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:01:55Z","timestamp":1725897715244},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627906"},{"type":"electronic","value":"9783540685197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035399","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:28:40Z","timestamp":1138184920000},"page":"351-365","source":"Crossref","is-referenced-by-count":0,"title":["Theorem prover support for the refinement of stream processing functions"],"prefix":"10.1007","author":[{"given":"Robert","family":"Sandner","sequence":"first","affiliation":[]},{"given":"Olaf","family":"M\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"24_CR1","volume-title":"Technical Report TUM-I9202-2","author":"M. Broy","year":"1993","unstructured":"M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems: An Introduction to Focus \u2014 Revised Version. Technical Report TUM-I9202-2, Technische Universit\u00e4t M\u00fcnchen, Fakult\u00e4t f\u00fcr Informatik, 80290 M\u00fcnchen, Germany, 1993."},{"key":"24_CR2","volume-title":"Technical Report TUM-I9423","author":"M. Broy","year":"1994","unstructured":"M. Broy, M. Fuchs, T. F. Gritzner, B. Sch\u00e4tz, K. Spies, and K. St\u00f8len. Summary of Case Studies in FOCUS \u2014 a Design Method for Distributed Systems. Technical Report TUM-I9423, Technische Universit\u00e4t M\u00fcnchen, Fakult\u00e4t f\u00fcr Informatik, 80290 M\u00fcnchen, Germany, 1994."},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF01786252","volume":"2","author":"M. Broy","year":"1987","unstructured":"M. Broy. Semantics of finite and infinite networks of concurrent communicating agents. Distributed Computing, 2:13\u201331, 1987.","journal-title":"Distributed Computing"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"M. Broy. Interaction Refinement \u2014 The Easy Way. In M. Broy, editor, Program Design Calculi, volume 118 of NATO ASI Series F: Computer and System Sciences. Springer, 1993.","DOI":"10.1007\/978-3-662-02880-3"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Max Fuchs and Jan Philipps. Formal development of a production cell in FOCUS \u2014 a case study. In Thomas Lindner and Claus Lewerentz, editors, Formal Development of Reactive Systems \u2014 Case Study Production Cell, number 891 in Lect Notes in Computer Science, chapter 11, pages 185\u2013195. Springer Verlag, 1993.","DOI":"10.1007\/3-540-58867-1_55"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Franz Huber, Bernhard Sch\u00e4tz, Alexander Schmidt, and Katharina Spies. Autofocus \u2014 a tool for distributed systems specification. In Joachim Parrow Bengt Jonsson, editor, Proc. FTRTFT'96 \u2014 Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, pages 467\u2013470. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61648-9_58"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"J. Kok. A fully abstract semantics for data flow nets. In Computer Aided Verification, volume 259 of Lecture Notes in Computer Science, pages 351\u2013368. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17945-3_20"},{"key":"24_CR8","unstructured":"Thomas Lindner. Task deskription. In Thomas Lindner and Claus Lewerentz, editors, Formal Development of Reactive Systems \u2014 Case Study Production Cell, number 891 in Lect Notes in Computer Science, chapter 2, pages 7\u201319. Springer Verlag, 1993."},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Francois Leclerc and Christine Paulin-Mohring. Programming with stream in coq, a case study: the sieve of eratosthenes. In H. Barendregt and T. Nipkow, editors, Proc. Types for Proofs and Programs (TYPES'93), volume 806 of Lecture Notes in Computer Science, 1993.","DOI":"10.1007\/3-540-58085-9_77"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Olaf M\u00fcller and Tobias Nipkow. Traces of I\/O-Automata in Isabelle\/HOLCF. In Proc. 7th Int. Joint Conf. on Theory and Practice of Software Development (TAPSOFT'97), Lecture Notes in Computer Science. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0030627"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Lawrence C. Paulson. Logic and Computation. Cambridge University Press, 1987.","DOI":"10.1017\/CBO9780511526602"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Lawrence C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of Lecture Notes in Computer Science. Springer-Verlag, 1994.","DOI":"10.1007\/BFb0030541"},{"key":"24_CR13","unstructured":"Franz Regensburger. HOLCF: Eine konservative Erweiterung von HOL um LCF. PhD thesis, Technische Universit\u00e4t M\u00fcnchen, 1994."},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Franz Regensburger. HOLCF: Higher Order Logic of Computable Functions. In E.T. Schubert, P.J. Windley, and J. Alves-Foss, editors, Higher Order Logic Theorem Proving and its Applications, volume 971 of Lecture Notes in Computer Science, pages 293\u2013307. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60275-5_72"},{"key":"24_CR15","unstructured":"Ketil St\u00f8len, Frank Dederichs, and Rainer Weber. Assumption\/commitment rules for networks of asynchronously communicating agents. TUM-I 9303, Technische Universit\u00e4t M\u00fcnchen, February 1993. SFB-Bericht Nr.342\/2\/93 A."},{"key":"24_CR16","series-title":"SFB-Bericht Nr. 342\/16\/95 A","volume-title":"Technischer Bericht","author":"B. Sch\u00e4tz","year":"1995","unstructured":"B. Sch\u00e4tz and K. Spies. Formale Syntax zur logischen Kernsprache der Focus-Entwicklungsmethodik. 1995. Technischer Bericht, TU M\u00fcnchen, Institut f\u00fcr Informatik, SFB-Bericht Nr. 342\/16\/95 A."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035399","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,12]],"date-time":"2020-04-12T05:14:58Z","timestamp":1586668498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035399"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627906","9783540685197"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0035399","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}