{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:48Z","timestamp":1725664008910},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:42:01Z","timestamp":1330256521000},"page":"262-281","source":"Crossref","is-referenced-by-count":3,"title":["Compositional liveness properties of EN-systems"],"prefix":"10.1007","author":[{"given":"D.","family":"Gomm","sequence":"first","affiliation":[]},{"given":"E.","family":"Kindler","sequence":"additional","affiliation":[]},{"given":"B.","family":"Paech","sequence":"additional","affiliation":[]},{"given":"R.","family":"Walter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"16_CR2","unstructured":"J. Desel, D. Gomm, E. Kindler, B. Paech, and R. Walter. Bausteine eines kompositionalen Beweiskalk\u00fcls f\u00fcr netzmodellierte Systeme. SFB-Bericht Nr. 342\/16\/92 A, Technische Universit\u00e4t M\u00fcnchen, July 92."},{"key":"16_CR3","unstructured":"Ekkart Kindler. Invariants, compositionality, and substitution. SFB-Bericht Nr. 342\/25\/92 A, Technische Universit\u00e4t M\u00fcnchen, November 1992."},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0304-3975(90)90096-Z","volume":"75","author":"S. Katz","year":"1990","unstructured":"Shmuel Katz and Doron Peled. Interleaving set temporal logic. Theoretical Computer Science, 75:263\u2013287, 1990.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"16_CR5","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"SE-3","author":"L. Lamport","year":"1977","unstructured":"Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, SE-3(2):125\u2013143, March 1977.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR6","unstructured":"Leslie Lamport. A temporal logic of actions. Research Report SRC57, Digital Equipment Corporation, Systems Research Center, April 1990."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"M. Mukund and P.S. Thiagarajan. An axiomatization of event structures. LNCS 405, pages 143\u2013160. Springer, 1989.","DOI":"10.1007\/3-540-52048-1_40"},{"key":"16_CR8","unstructured":"Barbara Paech. Concurrency as a modality. SFB-Bericht Nr. 342\/1\/91 A, Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, January 1991."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Barbara Paech. Extending temporal logic by explicit concurrency. In MFCS, LNCS 520, pages 377\u2013386. Springer, 1991.","DOI":"10.1007\/3-540-54345-7_81"},{"issue":"2","key":"16_CR10","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"D. Peleg","year":"1987","unstructured":"David Peleg. Concurrent dynamic logic. Journal of the ACM, 34(2):450\u2013479, 1987.","journal-title":"Journal of the ACM"},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"297","DOI":"10.3233\/FI-1988-11307","volume":"11","author":"W. Penczek","year":"1988","unstructured":"W. Penczek. A temporal logic for event structures. Fundamenta Informaticae, 11:297\u2013326, 1988.","journal-title":"Fundamenta Informaticae"},{"key":"16_CR12","first-page":"845","volume-title":"Information Processing","author":"A. Pnueli","year":"1986","unstructured":"Amir Pnueli. Specification and development of reactive systems. In H.-J. Kugler, editor, Information Processing, pages 845\u2013858. IFIP, Elsevier Science Publishers B.V. (North-Holland), 1986."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Shlomit S. Pinter and Pierre Wolper. A temporal logic for reasoning about partially ordered computations. In Proceedings Third Symposium on Principles of Distributed Computations, pages 28\u201337. ACM, August 1984.","DOI":"10.1145\/800222.806733"},{"key":"16_CR14","unstructured":"Wolfgang Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985."},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Wolfgang Reisig. Towards a temporal logic for causality and choice in distributed systems. In REX workshop, LNCS 354, pages 603\u2013627. Springer, 1988.","DOI":"10.1007\/BFb0013037"},{"key":"16_CR16","unstructured":"Wolfgang Reisig. Parallel composition of liveness. SFB-Bericht Nr. 342\/30\/91 A, Technische Universit\u00e4t M\u00fcnchen, 1991."},{"key":"16_CR17","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF01898402","volume":"3","author":"B. A. Sanders","year":"1991","unstructured":"Beverly A. Sanders. Eliminating the substitution axiom from UNITY logic. Formal Aspects of Computing, 3:189\u2013205, 1991.","journal-title":"Formal Aspects of Computing"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan. Elementary net systems. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, LNCS 254, Pages 26\u201359. Springer-Verlag, September 1986.","DOI":"10.1007\/BFb0046835"},{"key":"16_CR19","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF01798961","volume":"4","author":"W. Vogler","year":"1991","unstructured":"Walter Vogler. Failure semantics based on interval semiwords is a congruence for refinement. Distributed Computing, 4:139\u2013162, 1991.","journal-title":"Distributed Computing"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:02:04Z","timestamp":1640926924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}