{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:20:06Z","timestamp":1778300406207,"version":"3.51.4"},"reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540558224","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084794","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T08:12:14Z","timestamp":1164355934000},"page":"222-236","source":"Crossref","is-referenced-by-count":21,"title":["Propositional temporal logics and equivalences"],"prefix":"10.1007","author":[{"given":"Ursula","family":"Goltz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruurd","family":"Kuiper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Penczek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/3-540-17660-8_52","volume":"249","author":"G. Boudol","year":"1987","unstructured":"Boudol, G., Castellani, I., On the Semantics of Concurrency: Partial Orders and Transition Systems, Proc. of TAPSOFT 87, LNCS 249, 123\u2013137, 1987.","journal-title":"Proc. of TAPSOFT 87, LNCS"},{"issue":"1","key":"17_CR2","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0304-3975(88)90098-9","volume":"59","author":"M.C. Browne","year":"1988","unstructured":"Browne, M.C., Clarke, B.M., and Grumberg, O., Characterizing Finite Kripke Structures in Propositional Temporal Logic, TCS 59 (1,2), 115\u2013131, 1988.","journal-title":"TCS"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P., Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach, Proc. 10th Annual ACM Symp. on Principles of Programming Languages, Austin, 117\u2013126, 1983.","DOI":"10.1145\/567067.567080"},{"issue":"1","key":"17_CR4","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., Sometimes and \u201cNot Never\u201d Revisited: On Branching versus Linear Time Temporal Logic, Journal of the ACM 33 (1), 151\u2013178, 1986.","journal-title":"Journal of the ACM"},{"key":"17_CR5","first-page":"237","volume":"379","author":"R. Glabbeek van.","year":"1989","unstructured":"Glabbeek, R. van. and Goltz, U.: Equivalence Notions for Concurrent Systems and Refinement of Actions, LNCS 379, pp. 237\u2013248, 1989.","journal-title":"LNCS"},{"key":"17_CR6","unstructured":"Goltz, U., Kuiper, R., Penczek, W., Propositional Temporal Logics and Equivalences, deliverables of Esprit-BRA project 3096, 1992."},{"key":"17_CR7","volume-title":"A Companion to Modal Logic","author":"G.E. Hughes","year":"1984","unstructured":"Hughes, G.E., Cresswell, M.J., A Companion to Modal Logic, London, Methuen, 1984."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Katz, S., Peled, D., Interleaving Set Temporal Logic, 6th ACM Symposium on Principles of Distributed Computing, Vancouver Canada, 178\u2013190, 1987.","DOI":"10.1145\/41840.41855"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Lamport, L., Sometime is sometimes not never, On the Temporal Logic of Programs, 7th ACM Symp. on Princ. of Programming Logic, 174\u2013185, 1980.","DOI":"10.1145\/567446.567463"},{"issue":"No.1","key":"17_CR10","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/FI-1991-14103","volume":"14","author":"R. Loogen","year":"1991","unstructured":"Loogen, R. and Goltz, U., Modelling Nondeterministic Concurrent Processes with Event Structures, Fundamenta Informaticae 14, No. 1, 39\u201373, 1991.","journal-title":"Fundamenta Informaticae"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A., The Anchored Version of the Temporal Framework, LNCS 354, 1988.","DOI":"10.1007\/BFb0013024"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A., Linear Time Temporal Logic, Springer Verlag, 1991.","DOI":"10.1007\/978-1-4612-0931-7_3"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Milner R., A Calculus for Communicating Systems, LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"deNicola, R., Ferrari, L., Observational Logics and Concurrency, Tech. Report, Dip. di Informatica, Univ. of Pisa, 1990.","DOI":"10.1007\/3-540-53487-3_53"},{"key":"17_CR15","unstructured":"deNicola, R., Vaandrager, F., Three Logics for Branching Bisimulation, Proc. of LICS, 1990."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"deNicola, R., Montanari, U., and Vaandrager, F., Back and Forth Bisimulations, Proc. of CONCUR'90, 1990.","DOI":"10.1007\/BFb0039058"},{"key":"17_CR17","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"1","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., and Winskel, G., Petri Nets, Event Structures and Domains, Part I, TCS 13, Vol. 1, pp. 85\u2013109, 1981.","journal-title":"TCS 13"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Rosenberg, G., and Thiagarajan, Transition Systems, Event Structures and Unfoldings, in preparation, 1991.","DOI":"10.7146\/dpb.v20i353.6583"},{"key":"17_CR19","unstructured":"Park, D., Concurrency and automata on infinite sequences, 5th Conf. on Theoretical Comp. Sci., LNCS 104, 1981."},{"key":"17_CR20","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, 337\u2013354, 1990.","journal-title":"Proceedings of the Workshop on Computer Science Logic, Kaiserslautern, LNCS"},{"key":"17_CR21","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":"17_CR22","doi-asserted-by":"crossref","unstructured":"Sinachopoulos, A., Partial Order Logics for Elementary Net Systems: State-and Event-approches, Proc. of CONCUR'90, 1990.","DOI":"10.1007\/BFb0039076"},{"key":"17_CR23","unstructured":"Stirling, C., Altrincham Workshop, LNCS 398, 1987."},{"key":"17_CR24","unstructured":"Trakhtenbrot, B.A., Rabinovich, A., and Hirschfeld J., Nets of Processes, TR 97\/88, Tel Aviv Univ., 1988."},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Winskel, G., Event Structure Semantics for CCS and Related Languages, Proc. of ICALP, LNCS 224, 1982.","DOI":"10.1007\/BFb0012800"},{"key":"17_CR26","first-page":"364","volume":"354","author":"G. Winskel","year":"1988","unstructured":"Winskel, G., An Introduction to Event Structures, LNCS 354, pp. 364\u2013387, 1988.","journal-title":"LNCS"},{"key":"17_CR27","first-page":"75","volume":"398","author":"P. Wolper","year":"1987","unstructured":"Wolper, P., On the Relation of Programs and Computations to Models of Temporal Logic, Altrincham Workshop, LNCS 398, 75\u2013123, 1987.","journal-title":"Altrincham Workshop, LNCS"}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084794.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,4]],"date-time":"2021-08-04T23:13:15Z","timestamp":1628118795000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084794"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0084794","relation":{},"subject":[]}}