{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:18Z","timestamp":1725663558649},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543459"},{"type":"electronic","value":"9783540475798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54345-7_81","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:43:06Z","timestamp":1330209786000},"page":"377-386","source":"Crossref","is-referenced-by-count":1,"title":["Extending temporal logic by explicit concurrency"],"prefix":"10.1007","author":[{"given":"Barbara","family":"Paech","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"A.Ehrenfeucht, G.Rozenberg Partial (set) 2-structures, Part I,II (Acta Informatica 27,4, 1990)","DOI":"10.1007\/BF00264612"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"D.Harel Dynamic Logic (D.Gabbay, F.Guenthner (eds.) Handbook of philosophical logic, Vol. II, pp 497\u2013604, 1984)","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"F.Kr\u00f6ger Temporal logics of programs (EATCS Monographs on TCS, Vol. 8, Springer, 1987)","DOI":"10.1007\/978-3-642-71549-5"},{"key":"38_CR4","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0304-3975(89)90052-2","volume":"64","author":"A. Mazurkiewicz","year":"1989","unstructured":"A. Mazurkiewicz, E. Ochmanski, W. Penczek Concurrent systems and inevitability (TCS 64, pp 281\u2013304, 1989)","journal-title":"TCS"},{"key":"38_CR5","first-page":"534","volume":"372","author":"Z. Manna","year":"1989","unstructured":"Z. Manna, A. Pnueli Completing the temporal picture (ICALP, LNCS 372, pp 534\u2013558, Springer, 1989)","journal-title":"ICALP, LNCS"},{"key":"38_CR6","first-page":"143","volume":"405","author":"M. Mukund","year":"1989","unstructured":"M. Mukund, P.S. Thiagarajan An axiomatization of event structures (LNCS 405, pp 143\u2013160, Springer, 1989)","journal-title":"LNCS"},{"key":"38_CR7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01783665","volume":"4","author":"M. Nielsen","year":"1990","unstructured":"M. Nielsen, G. Rozenberg, P.S. Thiagarajan Behavioural notions for elementary net systems (Distributed Computing 4, pp 45\u201357, 1990)","journal-title":"Distributed Computing"},{"key":"38_CR8","doi-asserted-by":"crossref","unstructured":"R.Parikh Decidability and Undecidability in distributed transition systems (\u201dA perspective in theoretical computer science\u201d, Vol.16, 1988)","DOI":"10.1142\/9789814368452_0011"},{"key":"38_CR9","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1007\/BFb0026305","volume":"385","author":"B. Paech","year":"1988","unstructured":"B. Paech Gentzen-Systems for propositional temporal logics (CSL, LNCS 385, pp 240\u2013253, Springer, 1988)","journal-title":"CSL, LNCS"},{"key":"38_CR10","unstructured":"B.Paech concurrency as a modality (LMU M\u00fcnchen, Ph.D.thesis, 1990)"},{"key":"38_CR11","first-page":"23","volume":"35","author":"D. Peleg","year":"1987","unstructured":"D. Peleg Communication in Concurrent Dynamic Logic (JCSS 35, pp 23\u201358, 1987)","journal-title":"JCSS"},{"key":"38_CR12","doi-asserted-by":"crossref","first-page":"297","DOI":"10.3233\/FI-1988-11307","volume":"XI","author":"W. Penczek","year":"1988","unstructured":"W. Penczek A temporal logic for event structures (Fundamenta Informaticae XI, pp 297\u2013326, 1988)","journal-title":"Fundamenta Informaticae"},{"key":"38_CR13","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-52753-2_49","volume":"440","author":"W. Penczek","year":"1989","unstructured":"W. Penczek A concurrent branching time temporal logic (CSL, LNCS 440, pp 337\u2013354, 1989)","journal-title":"CSL, LNCS"},{"key":"38_CR14","first-page":"553","volume":"443","author":"D. Peled","year":"1990","unstructured":"D. Peled, A. Pnueli Proving partial order liveness properties (ICALP, LNCS 443, pp 553\u2013571, 1990)","journal-title":"ICALP, LNCS"},{"key":"38_CR15","doi-asserted-by":"crossref","unstructured":"W.Reisig Petri Nets \u2014 An introduction (EATCS Monographs on TCS, Vol. 4, Springer, 1985)","DOI":"10.1007\/978-3-642-69968-9"},{"key":"38_CR16","unstructured":"R.Rosner, A.Pnueli A Choppy Logic (Logic in Computer Science, pp 306\u2013314, 1986)"},{"key":"38_CR17","unstructured":"D.Taubner The finite representation of abstract programs (LNCS 369, Springer, 1989)"},{"key":"38_CR18","first-page":"26","volume":"254","author":"P.S. Thiagarajan","year":"1987","unstructured":"P.S. Thiagarajan Elementary net systems (Advances in PN, LNCS 254, pp 26\u201359, Springer, 1987)","journal-title":"Advances in PN, LNCS"},{"key":"38_CR19","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0304-3975(80)90004-3","volume":"12","author":"J. Winkowski","year":"1980","unstructured":"J. Winkowski Behaviour of concurrent systems (TCS 12, pp39\u201360, 1980)","journal-title":"TCS"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54345-7_81.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:44:24Z","timestamp":1640922264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54345-7_81"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543459","9783540475798"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-54345-7_81","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}