{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:59Z","timestamp":1725663839129},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539322"},{"type":"electronic","value":"9783540464525"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53932-8_44","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:18:52Z","timestamp":1330208332000},"page":"64-78","source":"Crossref","is-referenced-by-count":2,"title":["Using the temporal logic RDL for design specifications"],"prefix":"10.1007","author":[{"given":"Dov","family":"Gabbay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Hodkinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony","family":"Hunter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Abadi M, Lamport L & Wolper P (1989) Realizable and unrealizable specification of reactive systems, in Ausiello G et al, Proc 16th Colloquium on Automata, Languages and Programming, LNCS 372, Springer","DOI":"10.1007\/BFb0035748"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Barringer H, Fisher M, Gabbay D, Gough G & Owens R (1990a) MetateM: A framework for programming in temporal logic, in de Bakker J et al, REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms and Correctness, LNCS 430, Springer","DOI":"10.1007\/3-540-52559-9_62"},{"key":"4_CR3","volume-title":"Theoretical Aspects of Executing Meta-level Temporal Logic, draft paper","author":"H Barringer","year":"1990","unstructured":"Barringer H, Fisher M, Gabbay D & Hunter A (1990b) Theoretical Aspects of Executing Meta-level Temporal Logic, draft paper, Department of Computing, Imperial College, London"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Fitting M, (1983) Proof Methods for Modal and Intuitionistic Logics, Reidel","DOI":"10.1007\/978-94-017-2794-5"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Gabbay D (1989) The declarative past and imperative future: Executable temporal logic for interactive systems, in Banieqbal B, Barringer H and Pneuli A (eds), Temporal Logic Specification, LNCS 398, p409\u2013448, Springer","DOI":"10.1007\/3-540-51803-7_36"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Gabbay D, Hodkinson I & Hunter A (1990) RDL: An executable temporal logic for the specification and design of real-time systems, Proc IEE Colloquium on Temporal Reasoning","DOI":"10.1007\/3-540-53932-8_44"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","volume":"4","author":"D Gabbay","year":"1984","unstructured":"Gabbay D & Reyle U (1984) N-PROLOG: An extension of PROLOG with hypothetical implication, 1, J. Logic Programming, 4, 319\u2013355","journal-title":"J. Logic Programming"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Pneuli A (1977) The temporal logic of programs, in Proc. of the Eighteenth Symp. on the Foundations of Computer Science, p 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"4_CR9","unstructured":"Wupper H, Vytopil J, Wieczorek M, & Coesmans P (1989) A real-time systems specification language, Department of Informatics, University of Nijmegen"}],"container-title":["Lecture Notes in Computer Science","Concurrency: Theory, Language, and Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53932-8_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:31Z","timestamp":1605646291000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53932-8_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539322","9783540464525"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-53932-8_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}