{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:40:51Z","timestamp":1725608451169},"publisher-location":"Vienna","reference-count":11,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211832820"},{"type":"electronic","value":"9783709163559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6355-9_16","type":"book-chapter","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T07:42:02Z","timestamp":1316072522000},"page":"217-229","source":"Crossref","is-referenced-by-count":6,"title":["Modular reasoning about structured TLA specifications"],"prefix":"10.1007","author":[{"given":"Georg","family":"Rock","sequence":"first","affiliation":[]},{"given":"Werner","family":"Stephan","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Wolpers","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"16_CR1","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M Abadi","year":"1991","unstructured":"Abadi M., Lamport L. (1991): The Existence of Refinement Mappings. In: Journal of TCS 1991, Volume 82, number 2, pages 253\u2013284","journal-title":"Journal of TCS 1991"},{"issue":"3","key":"16_CR2","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M Abadi","year":"1995","unstructured":"Abadi M., Lamport L. (1995): Conjoining Specifications. TOPLAS (3), Pages 507\u2013534, Volume 17","journal-title":"TOPLAS"},{"key":"16_CR3","first-page":"499","volume-title":"Proceedings MFCS 1995, Lecture Notes in Computer Science","author":"M Abadi","year":"1995","unstructured":"Abadi M., Merz S. (1995): An abstract account of composition. In: Proceedings MFCS 1995, Lecture Notes in Computer Science, volume 969, pages 499\u2013508. Springer-Verlag, Berlin."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Lamport L. (1994): The Temporal Logic of Actions. In: Journal of ACM Transactions on Programming Languages and Systems, number 3, Volume 16","DOI":"10.1145\/177492.177726"},{"key":"16_CR5","volume-title":"The Syntax and Semantics of TLA+","author":"L Lamport","year":"1996","unstructured":"Lamport L. (1996): The Syntax and Semantics of TLA+. Partl: Definitions and Modules Report: \n                  http:\/\/www.research.digital.com\/SRC\/tla\/"},{"key":"16_CR6","volume-title":"Proceedings Formal Methods Europe 1996: Industrial Benefits and Advances in Formal Methods","author":"D Hutter","year":"1996","unstructured":"Dieter Hutter, Bruno Langenstein, Claus Sengler, J\u00f6rg H. Siekmann, Werner Stephan and Andreas Wolpers (1996): Deduction in the Verification Support Environment (VSE). In: Proceedings Formal Methods Europe 1996: Industrial Benefits and Advances in Formal Methods Editor: Marie-Claude Gaudel and James Woodcock, SPRINGER."},{"issue":"6","key":"16_CR7","first-page":"523","volume":"1","author":"D Hutter","year":"1996","unstructured":"Dieter Hutter, Bruno Langenstein, Claus Sengler, J\u00f6rg H. Siekmann, Werner Stephan and Andreas Wolpers (1996): Verification Support Environment (VSE). In: Journal of High Integrity Systems 1996, volume 1, number 6, pages 523\u2013530","journal-title":"Journal of High Integrity Systems 1996"},{"key":"16_CR8","volume-title":"Current Trends in Applied Formal Methods (1998)","author":"D Hutter","year":"1998","unstructured":"Dieter Hutter and Heiko Mantel and Georg Rock and Werner Stephan and Andreas Wolpers and Michael Balser and Wolfgang Reif and Gerhard Schellhorn and Kurt Stenzel (1998): VSE: Controlling the Complexity in Formal Software Development (1998): In: Current Trends in Applied Formal Methods (1998), to appear."},{"key":"16_CR9","volume-title":"Tagungsband 7. GI\/ITGFachgespr\u00e4ch Formale Beschreibungstechniken f\u00fcr verteilte Systeme","author":"G Rock","year":"1997","unstructured":"Georg Rock, Werner Stephan, Andreas Wolpers (1997) Tool Support for the Compositional Development of Distributed Systems (1997): In: Tagungsband 7. GI\/ITGFachgespr\u00e4ch Formale Beschreibungstechniken f\u00fcr verteilte Systeme. GMD Studien, number 315"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/3-540-16042-6_21","volume-title":"Foundationsof Software Technology and Theoretical Computer Science","author":"EW Stark","year":"1985","unstructured":"Stark, E.W. (1985): A proof technique for rely\/guarantee properties. In: Foundations of Software Technology and Theoretical Computer Science, S.N. Maheshwari, Ed. Lecture Notes of Computer Science, volume 206, pages 369\u2013391. Springer-Verlag."},{"key":"16_CR11","volume-title":"The Temporal Logic of Reactive and Concurrent Systems Springer, 1991","author":"Z Manna","year":"1991","unstructured":"Zohar Manna and Amir Pnueli (1991): The Temporal Logic of Reactive and Concurrent Systems Springer, 1991."}],"container-title":["Tool Support for System Specification, Development and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6355-9_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:36:05Z","timestamp":1606124165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6355-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211832820","9783709163559"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6355-9_16","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}