{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:34:50Z","timestamp":1725496490420},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668565"},{"type":"electronic","value":"9783540466741"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46674-6_12","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T15:50:17Z","timestamp":1196351417000},"page":"126-138","source":"Crossref","is-referenced-by-count":2,"title":["An Expressive Extension of TLC"],"prefix":"10.1007","author":[{"given":"Jesper Gulmann","family":"Henriksen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Alur, R., Peled, D., Penczek, W.: Model checking of causality properties. Proceedings of LICS\u201995, IEEE Computer Society Press (1995) 90\u2013100","key":"12_CR1","DOI":"10.1109\/LICS.1995.523247"},{"issue":"2","key":"12_CR2","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"Clarke, E. M., Emerson, E. A., Sistla, A. P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8(2) (1986) 244\u2013263","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"Diekert, V., Gastin, P.: An expressively complete temporal logic without past tense operators for Mazurkiewicz traces. Proceedings of CSL\u201999, LNCS 1683, Springer-Verlag (1999)","key":"12_CR3","DOI":"10.1007\/3-540-48168-0_14"},{"doi-asserted-by":"crossref","unstructured":"Diekert, V., Rozenberg, G. (eds.): The book of traces. World Scientific (1995)","key":"12_CR4","DOI":"10.1142\/2563"},{"doi-asserted-by":"crossref","unstructured":"Etessami, K., Wilke, Th.: An until hierarchy for temporal logic. Proceedings of LICS\u201996, IEEE Computer Society Press (1996) 108\u2013117","key":"12_CR5","DOI":"10.1109\/LICS.1996.561310"},{"doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Partial-order methods for the verification of concurrent systems. LNCS 1032, Springer-Verlag (1996)","key":"12_CR6","DOI":"10.1007\/3-540-60761-7"},{"doi-asserted-by":"crossref","unstructured":"Henriksen, J. G.: An Expressive Extension of TLC. Technical report RS-99-26, BRICS, Department of Computer Science, University of Aarhus (1999)","key":"12_CR7","DOI":"10.7146\/brics.v6i26.20095"},{"doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Concurrent program schemes and their interpretations. Report PB-78, Department of Computer Science, University of Aarhus, Denmark (1977)","key":"12_CR8","DOI":"10.7146\/dpb.v6i78.7691"},{"unstructured":"Niebert, P.: A temporal logic for the specification and validation of distributed behaviour. Ph.D. thesis, University of Hildesheim (1997)","key":"12_CR9"},{"doi-asserted-by":"crossref","unstructured":"Peled, D.: Partial order reduction: model checking using representatives. Proceedings of MFCS\u201996, LNCS 1113, Springer-Verlag (1996) 93\u2013112","key":"12_CR10","DOI":"10.1007\/3-540-61550-4_141"},{"doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. Proceedings of FOCS\u201977, IEEE Computer Society Press (1977) 46\u201357","key":"12_CR11","DOI":"10.1109\/SFCS.1977.32"},{"doi-asserted-by":"crossref","unstructured":"Ramanujam, R.: Locally linear time temporal logic. Proceedings of LICS\u201996, IEEE Computer Society Press (1996) 118\u2013127","key":"12_CR12","DOI":"10.1109\/LICS.1996.561311"},{"doi-asserted-by":"crossref","unstructured":"Thiagarajan, P. S.: A trace based extension of linear time temporal logic. Proceedings of LICS\u201994, IEEE Computer Society Press (1994) 438\u2013447","key":"12_CR13","DOI":"10.1109\/LICS.1994.316047"},{"doi-asserted-by":"crossref","unstructured":"Thiagarajan, P. S., Henriksen, J. G.: Distributed versions of linear time temporal logic: A trace perspective. In Reisig and Rozenberg (Eds.), Lectures on Petri Nets I: Basic Models, LNCS 1491, Springer-Verlag (1998) 643\u2013681","key":"12_CR14","DOI":"10.1007\/3-540-65306-6_24"},{"doi-asserted-by":"crossref","unstructured":"Thiagarajan, P. S., Walukiewicz, I.: An expressively complete linear time temporal logic for Mazurkiewicz traces. Proceedings of LICS\u201997, IEEE Computer Society Press (1997) 183\u2013194","key":"12_CR15","DOI":"10.1109\/LICS.1997.614946"},{"unstructured":"Walukiewicz, I.: on the complexity of LTrL (extended abstract). Proceedings of ICALP\u201998, LNCS 1443, Springer-Verlag (1998) 140\u2013151","key":"12_CR16"}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46674-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T08:56:28Z","timestamp":1557046588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46674-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668565","9783540466741"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-46674-6_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}