{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T00:10:19Z","timestamp":1742602219822,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631415"},{"type":"electronic","value":"9783540691884"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63141-0_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:09:31Z","timestamp":1330297771000},"page":"119-134","source":"Crossref","is-referenced-by-count":3,"title":["Adding partial orders to linear temporal logic"],"prefix":"10.1007","author":[{"given":"Girish","family":"Bhat","sequence":"first","affiliation":[]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur W. Penczek, D. Peled, Model-Checking of Causality Properties, 10th Symposium on Logic in Computer Science, IEEE, 1995, 90\u2013100, San Diego, California, USA.","DOI":"10.1109\/LICS.1995.523247"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K. M. Chandy","year":"1985","unstructured":"K. M. Chandy, L. Lamport, Distributed Snapshots: determining the global state of distributed systems, ACM Transactions on Computer Systems 3 (1985), 63\u201375.","journal-title":"ACM Transactions on Computer Systems"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"D. Harel, First order Dynamic Logic, Lecture Notes in Computer Science 68, Springer, 1979.","DOI":"10.1007\/3-540-09237-4"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"S. Katz, D. Peled, Interleaving Set Temporal Logic, Theoretical Computer Science, Vol. 75, Number 3, 21\u201343","DOI":"10.1007\/3-540-51803-7_20"},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF02252682","volume":"6","author":"S. Katz","year":"1992","unstructured":"S. Katz, D. Peled, Verification of Distributed Programs using Representative Interleaving Sequences, Distributed Computing 6 (1992) 107\u2013120.","journal-title":"Distributed Computing"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Pnueli, Completing the Temporal Picture, Proceedings 16th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 372, Springer, 1989, 534\u2013558.","DOI":"10.21236\/ADA328579"},{"key":"9_CR7","unstructured":"A. Mazurkiewicz, Trace semantics, in: W. Brauer, W. Reisig, G. Rozenberg (eds.) Proceedings of Advances in Petri Nets 1986, Bad Honnef, Lecture Notes in Computer Science 255, Springer, 1987, 279\u2013324."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"D. Peled, S. Katz, A. Pnueli, Specifying and Proving Serializability in Temporal Logic, 6th IEEE annual symposium on Logic in Computer Science, Amsterdam, The Netherlands, July 1991, 232\u2013245.","DOI":"10.1109\/LICS.1991.151648"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0304-3975(94)90009-4","volume":"126","author":"D. Peled","year":"1994","unstructured":"D. Peled, A. Pnueli, Proving partial order properties. Theoretical Computer Science 126, 143\u2013182, 1994.","journal-title":"Theoretical Computer Science"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"D. Peled, Th. Wilke, P. Wolper, An Algorithmic Approach for Checking Closure Properties of \u03c9-Regular Languages, CONCUR'96, 7th International Conference on Concurrency Theory, Pisa, Italy, 1996.","DOI":"10.1007\/3-540-61604-7_78"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1142\/S0129054193000043","volume":"4","author":"W. Penczek","year":"1993","unstructured":"W. Penczek, Temporal Logics for Trace Systems: On Automated Verification, International Journal of Foundations of Computer Science, 4 (1993), 31\u201367.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"W. Penczek, R. Kuiper, Traces and Logic, in V. Diekert, G. Rozenberg (eds.) The Book of Traces, World Scientific, 1995, 307\u2013390.","DOI":"10.1142\/9789814261456_0010"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"S. Pinter, P. Wolper, A temporal logic for reasoning about partially ordered computations, 3rd ACM Symposium on Principles of Distributed Computing, Vancouver, B. C., Canada, August 1984, 23\u201327.","DOI":"10.1145\/800222.806733"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt, Modeling concurrency with partial orders, International Journal of Parallel Programming, 15 (1986), 33\u201371.","journal-title":"International Journal of Parallel Programming"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"W. Reisig, Partial order semantics versus interleaving semantics for CSP like languages and its impact on fairness. Proc. 11th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 172, 1984, Springer, 403\u2013413.","DOI":"10.1007\/3-540-13345-3_37"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"W. Reisig, Interleaved Progress, Concurrent Progress and Local Progress, in D. Peled, V. Pratt, G. Holzmann (eds.), Partial Order Methods in Verification, AMS, to appear, 1997.","DOI":"10.1090\/dimacs\/029\/06"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan, A Trace Based Extension of Linear Time Temporal Logic. Proceedings of 10th IEEE Logic in Computer Science, 1994.","DOI":"10.1109\/LICS.1994.316047"}],"container-title":["Lecture Notes in Computer Science","CONCUR '97: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63141-0_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:37:49Z","timestamp":1742600269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63141-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631415","9783540691884"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-63141-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}