{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:05:40Z","timestamp":1725728740268},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540184782"},{"type":"electronic","value":"9783662011102"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/978-3-662-01110-2_8","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T20:05:22Z","timestamp":1370289922000},"page":"110-121","source":"Crossref","is-referenced-by-count":0,"title":["Specification of Distributed Systems Using Modal Logics"],"prefix":"10.1007","author":[{"given":"Peter","family":"Pepper","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/356901.356903","volume":"15","author":"GR Andrews","year":"1983","unstructured":"G. R. Andrews, F. B. Schneider: Concepts and Notations for Concurrent Programming. ACM Comp. Surveys 15: 1 (1983) 3\u201343.","journal-title":"Surveys"},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF01257083","volume":"20","author":"M Ben-Ari","year":"1983","unstructured":"M. Ben-Ari, A. Pnueli, Z. Manna: The Temporal Logic of Branching Time. Acta Informatica 20:3 (1983) 207\u2013226.","journal-title":"Acta Informatica"},{"key":"8_CR3","unstructured":"G. Boudol: Communication is an Abstraction. INRIA Rapports de Recherche, Nr 636, March 1987."},{"key":"8_CR4","unstructured":"M. Broy, Th. Streicher: Views of Distributed Systems. Universit\u00e4t Passau, MIP-8612, Juli 1986."},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1016\/0020-0190(77)90067-9","volume":"6","author":"N Francez","year":"1977","unstructured":"N. Francez: A Case for a Forward Predicate Transformer. Inf. Proc. Letters 6: 6 (1977).","journal-title":"Inf. Proc. Letters"},{"key":"8_CR6","first-page":"560","volume":"31","author":"CAR Hoare","year":"1984","unstructured":"C. A. R. Hoare, S. D. Brookes, A. W. Roscoe: A Theory of Communicating Sequential Processes. Oxford University PRG-21, 1981. Also: J.ACM 31 (1984) 560\u2013599.","journal-title":"Oxford University Prg-21, 1981. Also: J.Acm"},{"key":"8_CR7","volume-title":"An Introduction to Modal Logic","author":"GE Hughes","year":"1968","unstructured":"G. E. Hughes, M. J. Cresswell: An Introduction to Modal Logic. London: Methuen and Co. 1968."},{"key":"8_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-71549-5","volume-title":"Temporal Logic","author":"F Kr\u00f6ger","year":"1987","unstructured":"F. Kr\u00f6ger: Temporal Logic. Berlin-Heidelberg-New York: Springer 1987."},{"key":"8_CR9","volume-title":"Enforcing Nondeterminism via Linear-Time Temporal Logic Specifications. Technische Univ","author":"R Kuiper","year":"1987","unstructured":"R. Kuiper: Enforcing Nondeterminism via Linear-Time Temporal Logic Specifications. Technische Univ. Eindhoven, Faculteit der Wiskunde en Informatica, March 1987."},{"key":"8_CR10","first-page":"41","volume-title":"Proc. Information Processing 80, North Holland","author":"R Manna","year":"1980","unstructured":"Z. Manna: Logics of Programs. In: S. H. Lavington (ed.): Proc. Information Processing 80, North Holland 1980, 41\u201351."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Pnueli: Verification of Concurrent Programs, Part I: The Temporal Framework. Stanford University STAN-CS-81\u2013836, June 1981.","DOI":"10.21236\/ADA106750"},{"key":"8_CR12","unstructured":"B. C. Moszkowski: Reasoning about Digital Circuits. Stanford University STAN-CS-83\u2013970, July 1983."},{"key":"8_CR13","unstructured":"M. Nielsen, G. Plotkin, G. Winskell: Petri Nets, Event Structures, and Domains, Part I. Theoretical Comp. Sc. 13 (1981) 85\u2013108."},{"key":"8_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-7664-1","volume-title":"Temporal Logic","author":"N Rescher","year":"1971","unstructured":"N. Rescher, A. Urquhart: Temporal Logic. Wien-New York: Springer 1971."}],"container-title":["Informatik-Fachberichte","GI \u2014 17. Jahrestagung Computerintegrierter Arbeitsplatz im B\u00fcro"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-01110-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T17:42:14Z","timestamp":1557769334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-01110-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540184782","9783662011102"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-01110-2_8","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1987]]}}}