{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:49Z","timestamp":1725456049700},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540566627"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024649","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T10:09:15Z","timestamp":1132740555000},"page":"235-249","source":"Crossref","is-referenced-by-count":1,"title":["Applications of modal logic for the specification of real-time systems"],"prefix":"10.1007","author":[{"given":"Liang","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alistair","family":"Munro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis and D. L. Dill, Model Checking for Real-Time Systems, in Proc. of the 5th Annual Symp. on Logic in Computer Science, pp 414\u2013425, 1990","DOI":"10.1109\/LICS.1990.113766"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur and T. A. Henzinger, A Really temporal Logic, in Proc. of the 30th Annual Symp. on Foundations of Computer Science, pp 164\u2013169, 1989","DOI":"10.1109\/SFCS.1989.63473"},{"issue":"2","key":"16_CR3","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J.C.M. Baeten","year":"1991","unstructured":"J.C.M. Baeten and J.A. Bergstra, Real Time Process Algebra, Formal Aspects of Computing, 3(2), pp142\u2013188, 1991","journal-title":"Formal Aspects of Computing"},{"key":"16_CR4","unstructured":"L. Chen, Decidability and Completeness in Real-Time Processes, Technical Report ECS-LFCS-91-185, University of Edinburgh, 1991"},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BFb0023865","volume":"620","author":"L. Chen","year":"1992","unstructured":"L. Chen, An Interleaving Model for Real-Time Systems, in Proc. of Symp. of Logical Foundations of Computer Science, Lecture Notes in Computer Science 620, pp 81\u201392, 1992","journal-title":"Lecture Notes in Computer Science"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"E. Harel, O. Lichtenstein and A. Pnueli, Explicit-clock Temporal Logic, in Proc. of the 5th Annual Symp. on Logic in Computer Science, pp 402\u2013413, 1990","DOI":"10.1109\/LICS.1990.113765"},{"key":"16_CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner, Algebraic Laws for Nondeterministic and Concurrency, Journal of the Asso. for Comp. Machinery, vol 32, pp 137\u2013161, 1985","journal-title":"Journal of the Asso. for Comp. Machinery"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"R. L. C. Koyman, Specifying Message Passing and Time-Critical Systems with Temporal Logic, Ph.D thesis, Technical University Eindhoven, 1989","DOI":"10.1007\/3-540-51803-7_28"},{"key":"16_CR9","unstructured":"K. Larsen, Proof Systems for Hennessy-Milner Logic with Recursion, in Proc. of CAAP, Lecture Notes in Computer Science 299, 1988"},{"key":"16_CR10","unstructured":"R. Milner, Communication and Concurrency, Pretice-Hall international, 1989"},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BFb0039073","volume":"458","author":"F. Moller","year":"1990","unstructured":"F. Moller and C. Tofts, A Temporal Calculus of Communicating Systems, in Proc. of Concur'90, Lecture Notes in Computer Science 458, pp 401\u2013415, 1990","journal-title":"Lecture Notes in Computer Science"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"C. Stirling, Modal and Temporal Logics, in Handbook of Logic in Computer Science, eds by S. Abramsky, D. Gabbay and T. Maibaum, 1991","DOI":"10.1093\/oso\/9780198537618.003.0005"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"C. Stirling and D. Walker, Local Model Checking in the Modal Mu-Calculus, in Proc. Intl. Joint Conf. on Theory and Practice of Software Development, Lecture Notes in Computer Science 351, 1989","DOI":"10.1007\/3-540-50939-9_144"}],"container-title":["Lecture Notes in Computer Science","FME '93: Industrial-Strength Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0024649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T02:32:25Z","timestamp":1706754745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024649"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566627"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0024649","relation":{},"subject":[]}}