{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:26Z","timestamp":1725663626705},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540565031"},{"type":"electronic","value":"9783540475743"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56503-5_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:15:27Z","timestamp":1330254927000},"page":"452-462","source":"Crossref","is-referenced-by-count":1,"title":["Axiomatizations of temporal logics on trace systems"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Penczek","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Wolper, P., A Partial Approach to Model Checking, Proc. of LICS, 1991.","DOI":"10.1109\/LICS.1991.151664"},{"key":"45_CR2","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/BFb0084794","volume":"630","author":"U. Goltz","year":"1992","unstructured":"Goltz, U., Kuiper, R., and Penczek, W., Propositional temporal logics and equivalences, Proc. of CONCUR'92, LNCS 630, pp. 222\u2013236, 1992.","journal-title":"Proc. of CONCUR'92, LNCS"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Katz, S., Peled, D., Interleaving Set Temporal Logic, 6th ACM Symposium on Principles of Distributed Computing, Vancouver Canada, pp. 178\u2013190, 1987.","DOI":"10.1145\/41840.41855"},{"key":"45_CR4","unstructured":"Lodaya, K., Parikh, R., Ramanujam, R., and Thiagarajan, P.S., A Logical Study of Distributed Transition Systems, submitted to publication."},{"key":"45_CR5","first-page":"285","volume":"354","author":"A. Mazurkiewicz","year":"1988","unstructured":"Mazurkiewicz, A., Basic Notions of Trace Theory, LNCS 354, pp. 285\u2013363, 1988.","journal-title":"LNCS"},{"key":"45_CR6","volume-title":"Algorithmic Logic","author":"G. Mirkowska","year":"1987","unstructured":"Mirkowska, G., and Salwicki, A., Algorithmic Logic, Reidel, Dordrecht and PWN, Warsaw 1987."},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Rozenberg, G., and Thiagarajan, Transition Systems, Event Structures and Unfoldings, in preparation, 1991.","DOI":"10.7146\/dpb.v20i353.6583"},{"key":"45_CR8","unstructured":"Paech, B., Concurrency as a Modality, PhD thesis, Munchen University, 1991."},{"issue":"2","key":"45_CR9","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 ACM 34 (2), pp. 450\u2013479, 1987.","journal-title":"Journal of ACM"},{"key":"45_CR10","first-page":"337","volume":"440","author":"W. Penczek","year":"1990","unstructured":"Penczek, W., A Concurrent Branching Time Temporal Logic, Proceedings of the Workshop on Computer Science Logic, Kaiserslautern, LNCS 440, pp. 337\u2013354, 1990.","journal-title":"Proceedings of the Workshop on Computer Science Logic, Kaiserslautern, LNCS"},{"key":"45_CR11","unstructured":"Penczek, W., Temporal Logics on Trace Systems, Proc. of the Workshop on Infinite Traces, Tubingen, 1992, also to appear in IJFCS."},{"key":"45_CR12","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0020-0190(92)90007-I","volume":"43","author":"W. Penczek","year":"1992","unstructured":"Penczek, W., On Undecidability of Temporal Logics on Trace Systems, IPL 43, pp. 147\u2013153, 1992.","journal-title":"IPL"},{"key":"45_CR13","doi-asserted-by":"crossref","unstructured":"Peled, D., Katz, S., and Pnueli, A., Specifying and Proving Serializability in Temporal Logic, Proc. of LICS, 1991.","DOI":"10.1109\/LICS.1991.151648"},{"key":"45_CR14","doi-asserted-by":"crossref","unstructured":"Peled, D., Pnueli, A., Proving Partial Order Liveness Properties, Proc. of ICALP, pp. 553\u2013571, 1990.","DOI":"10.1007\/BFb0032058"},{"key":"45_CR15","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":"45_CR16","first-page":"606","volume":"354","author":"W. Reisig","year":"1989","unstructured":"Reisig, W., Towards a Temporal Logic of Causality and Choice in Distributed Systems, LNCS 354, pp. 606\u2013627, 1989.","journal-title":"LNCS"},{"key":"45_CR17","doi-asserted-by":"crossref","unstructured":"Rozoy, B., On Distributed Languages and Models for Distributed Computation, Technical Report 563, L.R.I., 1990.","DOI":"10.1007\/3-540-53479-2_19"},{"key":"45_CR18","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1970","unstructured":"Rasiowa, H., and Sikorski, R., The Mathematics of Metamathematics, PWN, Warsawa, 1970."},{"key":"45_CR19","doi-asserted-by":"crossref","unstructured":"Sinachopoulos A, Partial Order Logics for Elementary Net Systems: State-and Event \u2014 approches, Proc. of CONCUR'90, 1990.","DOI":"10.1007\/BFb0039076"},{"key":"45_CR20","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0304-3975(87)90129-0","volume":"54","author":"A. Szalas","year":"1987","unstructured":"Szalas, A., A complete axiomatic characterization of first-order temporal logic of linear time, TCS 54, pp. 199\u2013214, 1987.","journal-title":"TCS"}],"container-title":["Lecture Notes in Computer Science","STACS 93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56503-5_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:04:23Z","timestamp":1605647063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56503-5_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540565031","9783540475743"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-56503-5_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}