{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:21Z","timestamp":1761611301326},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:29:21Z","timestamp":1330298961000},"page":"122-141","source":"Crossref","is-referenced-by-count":22,"title":["Consistent graphical specification of distributed systems"],"prefix":"10.1007","author":[{"given":"Franz","family":"Huber","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Sch\u00e4tz","sequence":"additional","affiliation":[]},{"given":"Geralf","family":"Einert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"7_CR1","unstructured":"A. Biere. Eine Methode zur,\u03bc-Kalk\u00fcl-Modellpr\u00fcfung. Slides for the AKFM from 23.05.96, GI\/ITG-Fachgespr\u00e4ch \u2018Formale Beschreibungstechniken f\u00fcr verteilte Systeme\u201d (in German), 1996."},{"key":"7_CR2","unstructured":"M. Broy, C. Dendorfer, F. Dederichs, M. Fuchs, T. Gritzner, and R. Weber. The Design of Distributed Systems-An Introduction to FOCUS. Technical Report TUM-19225, Technische Universit\u00e4t M\u00fcnchen, 1992."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"M. Fuchs and M. Mendler. Functional Semantics for Delta-Delay VHDL based on Focus. In: C. Delgado Kloos and P. Breuer (eds.). Formal Semantics for VHDL, Kluwer Academic Publishers, 1994, Chapter 1, pp. 9\u201338.","DOI":"10.1007\/978-1-4615-2237-9_2"},{"key":"7_CR4","unstructured":"R. Grosu, C. Klein, B. Rumpe, and M. Broy. State Transition Diagrams. Technical Report TUM-19630, Technische Universit\u00e4t M\u00fcnchen, 1996."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Naamad. The Statemate Semantics of Statecharts. IEEE Transactions of Software Engineering Methods, 1996.","DOI":"10.1145\/235321.235322"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"F. Huber, B. Sch\u00e4tz, A. Schmidt, and K. Spies. AutoFocus-A Tool for Distributed System Specification. In: B. Jonsson and J. Parrow (eds.). Proceedings FTRTFT'96. Lecture Notes in Computer Science 1135, Springer, 1996, pp. 476-470.","DOI":"10.1007\/3-540-61648-9_58"},{"key":"7_CR7","unstructured":"International Telecommunication Union. Message Sequence Charts, 1996. ITU-T Recommendation Z.129. Geneva, 1996."},{"key":"7_CR8","unstructured":"M. P. Jones. Introduction to Gofer 2.20. Technical Report, Yale University, 1991."},{"key":"7_CR9","unstructured":"J.-L. Lions et al. Ariane S Flight 501 Failure. ESA Press Release 33\u201396, Paris, 1996."},{"issue":"2","key":"7_CR10","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. Finitness is \u03bc-inefble. Theoretical Computer Science 3(2), 1976, pp. 173\u2013181.","journal-title":"Theoretical Computer Science"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"F. Regensburger. HOLCF. Higher Order Logic of Computable Functions. In: T. Schubert, P. Windley, and J. Alves-Foss (eds.). Higher Order Logic Theorem Proving and Its Application (HOL95), 1995, pp. 293\u2013307.","DOI":"10.1007\/3-540-60275-5_72"},{"key":"7_CR12","unstructured":"R. Sandner and Olaf M\u00fcller. Theorem Prover Support for the Refinement of Stream Processing Functions. Proc. 3rd Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97). Lecture Notes in Computer Sience Vol. 1217. Springer, 1997, pp. 351-365."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"B. Sch\u00e4tz, H. Hu\u00dfmann, and M. Broy. Graphical Development of Consistent System Specifications. In: J. Woodcock, M.-C. Gaudel (eds.). FME' 96. Lecture Notes in Computer Science Vol. 1051, Springer, 1996, pp. 248\u2013267.","DOI":"10.1007\/3-540-60973-3_91"},{"key":"7_CR14","unstructured":"B. Schatz and K. Spies. Formale Syntax zur logischen Kernsprache der Focus-Entwicklungsmethodik. Technial Report TUM-I9529, Technische Universit\u00e4t M\u00fcnchen, 1995."},{"key":"7_CR15","unstructured":"D. von Oheimb. Datentypspezifikationen in HOLCF. Master's Thesis, Technische Universit\u00e4t M\u00fcnchen, 1996."}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:55Z","timestamp":1605647935000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}