{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:09Z","timestamp":1725456189750},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540510802"},{"type":"electronic","value":"9783540461470"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/bfb0013027","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T01:06:46Z","timestamp":1132708006000},"page":"398-410","source":"Crossref","is-referenced-by-count":2,"title":["A logic for the description of behaviours and properties of concurrent systems"],"prefix":"10.1007","author":[{"given":"A.","family":"Bouajjani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Graf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Clarke E.M., Emerson E.A., Sistla A.P. Automatic Verification of Finite State Concurrent Systems Using Temporal Logic, 10th Annual ACM Symp. on Principles of Programming Languages, 1983.","DOI":"10.1145\/567067.567080"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Emerson E.A., Halpern J.Y. \"Sometimes\" and \"Not Never\" Revisited: on Branching versus Linear Time, 10th Annual ACM Symp. on Principles of Programming Languages, 1983.","DOI":"10.1145\/567067.567081"},{"key":"8_CR3","unstructured":"Emerson E.A., Lei C-L. Efficient Model Checking in Fragments of the Propositional Mu-Calculus, LICS 1986."},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0019-9958(86)80027-4","volume":"68","author":"S. Graf","year":"1986","unstructured":"Graf S., Sifakis J. A Modal Characterisation of Observational Congruence of Finite Terms of CCS, Information and Control Vol.68, 1\u20133, 1986.","journal-title":"Information and Control"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Graf S., Sifakis J. A Logic for the Specification and Proof of Controllable Terms of CCS, Acta Informatica 23, 1986.","DOI":"10.1007\/BF00288467"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0019-9958(86)80027-4","volume":"68","author":"S. Graf","year":"1986","unstructured":"Graf S., Sifakis J. A Logic for the Description of Non-deterministic Programs and their Properties, Information and Control Vol.68, 1\u20133, 1986.","journal-title":"Information and Control"},{"key":"8_CR7","unstructured":"Hennessy M., Milner R. Observing Non-determinism and Concurrency, Proceedings of 7th ICALP, LNCS 92, 1982."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Kozen D. Results on the Propositional \u03bc-calculus, TCS 27, 1983.","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Kozen D., Parikh R. J. A decision Procedure for the Propositional Mu-calculus, Second Workshop on Logics of Programs, 1983.","DOI":"10.1007\/3-540-12896-4_370"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Milner R. A Calculus of Communicating Systems, LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"8_CR11","first-page":"439","volume":"28","author":"R. Milner","year":"1984","unstructured":"Milner R. A Complete Inference System for a Class of Regular Behaviours, JCSS 28, 439\u2013466, 1984.","journal-title":"JCSS"},{"key":"8_CR12","unstructured":"Pnueli A. Linear and Branching Time Structures in the Semantics and Logics of Reactive Systems, Proceedings of ICALP, LNCS 194, 1986."},{"key":"8_CR13","unstructured":"Pnueli A. Specification and Development of Reactive Systems, Proceedings IFIP 1986."},{"key":"8_CR14","unstructured":"Sifakis J. A Response to Amir Pnueli's \"Specification and Development of Reactive Systems\", Proceedings IFIP 1986."},{"key":"8_CR15","first-page":"465","volume":"172","author":"R.S. Streett","year":"1984","unstructured":"Streett R.S., Emerson E.A. The propositional Mu-calculus is Elementary, Proc. 12th ICALP, LNCS 172, 465\u2013472, 1984.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:23:33Z","timestamp":1586564613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540510802","9783540461470"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0013027","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}