{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:22Z","timestamp":1725663862813},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540527534"},{"type":"electronic","value":"9783540471370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52753-2_49","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:42:25Z","timestamp":1330206145000},"page":"337-354","source":"Crossref","is-referenced-by-count":3,"title":["A concurrent branching time temporal logic"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Penczek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF01257083","volume":"20","author":"M. Ben-Ari","year":"1983","unstructured":"Ben-Ari, M., Manna, Z., Pnueli, A., \"The Temporal Logic of Branching Time\", Acta Informatica 20, 207\u2013226, (1983).","journal-title":"Acta Informatica"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","volume":"30","author":"E.A. Emerson","year":"1985","unstructured":"Emerson, E.A., Halpern, J.Y., \"Decision Procedures and Expressiveness in the Temporal Logic of Branching Time\", Journal of Computer and System Sciences 30, 1\u201324, (1985).","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"21_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Emerson","year":"1986","unstructured":"Emerson, E.A., Halpern, J.Y., \"\u201cSometimes\u201d and \u201cNot Never\u201d Revisited: On Branching versus Linear Time Temporal Logic\", Journal of the ACM 33 (1), pp. 151\u2013178, (1986).","journal-title":"Journal of the ACM"},{"issue":"2","key":"21_CR4","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M.J. Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E., \"Propositional Dynamic Logic of Regular Programs\", J. of Comput. System Sci. 18(2), pp. 194\u2013211, (1979).","journal-title":"J. of Comput. System Sci."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Katz, S., Peled, D., \"An Interleaving Set Temporal Logics\", Proc. of 6th ACM Symposium on Principles of Distributed Computing, Vancouver Canada, pp. 178\u2013190, (1987).","DOI":"10.1145\/41840.41855"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Katz, S., Peled, D., \"An Efficient Verification Method for Parallel and Distributed Programs\", LNCS 354, (1988).","DOI":"10.1007\/BFb0013032"},{"key":"21_CR7","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0304-3975(89)90052-2","volume":"64","author":"A. Mazurkiewicz","year":"1989","unstructured":"Mazurkiewicz, A., Ochma\u0144ski, E., Penczek, W., \"Concurrent Systems and Inevitability\", TCS 64, pp. 281\u2013304, (1989).","journal-title":"TCS"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A., \"The Anchored Version of the Temporal Framework\", LNCS 354, (1988).","DOI":"10.1007\/BFb0013024"},{"key":"21_CR9","first-page":"111","volume":"24","author":"R. Parikh","year":"1985","unstructured":"Parikh, R., \"The Logic of Games and its Applications\", Annalsof Discrete Mathematics 24, pp. 111\u2013140, (1985).","journal-title":"Annalsof Discrete Mathematics"},{"issue":"2","key":"21_CR10","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"D. Peleg","year":"1987","unstructured":"Peleg, D., \"Concurrent Dynamic Logic\", Journal of the ACM 34 (2), pp. 450\u2013479, (1987).","journal-title":"Journal of the ACM"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Pinter, S.S., Wolper, P., \"A Temporal Logic for Reasoning about Partially Ordered Computations\", Proc. 3rd Symp. on Principles of Distributed Computing, pp. 28\u201337, Vancouver (1984).","DOI":"10.1145\/800222.806733"},{"key":"21_CR12","first-page":"606","volume":"354","author":"W. Reisig","year":"1988","unstructured":"Reisig, W., \"Towards a Temporal Logic of Causality and Choice in Distributed Systems\", LNCS 354, pp. 606\u2013627 (1988).","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","CSL '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52753-2_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:16:28Z","timestamp":1640920588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52753-2_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540527534","9783540471370"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-52753-2_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}