{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:58Z","timestamp":1725564898891},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_7","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T22:49:31Z","timestamp":1283726971000},"page":"98-116","source":"Crossref","is-referenced-by-count":0,"title":["Composition of Temporal Logic Specifications"],"prefix":"10.1007","author":[{"given":"Adrianna","family":"Alexander","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BFb0039051","volume-title":"CONCUR \u201990","author":"M. Abadi","year":"1990","unstructured":"Abadi, M.: An axiomatization of Lamport\u2019s Temporal Logic of Actions. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 57\u201369. Springer, Heidelberg (1990)"},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Transactions on Programming Languages and Systems\u00a015(1), 73\u2013132 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR3","series-title":"IFIP Transactions","first-page":"327","volume-title":"Proc. of the Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 1994)","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Lamport, L.: Decomposing specifications of concurrent systems. In: Olderog, E.-R. (ed.) Proc. of the Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 1994). IFIP Transactions, vol.\u00a0A-56, pp. 327\u2013340. North-Holland, Amsterdam (1994)"},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages and Systems\u00a017(3), 507\u2013534 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR5","series-title":"NATO ASI series F","volume-title":"Deductive Program Design","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Merz, S.: On TLA as a logic. In: Broy, M. (ed.) Deductive Program Design. NATO ASI series F. Springer, Heidelberg (1996)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Abadi, M., Plotkin, G.D.: A logical view of composition and refinement. In: Proc. of the 18th Ann. ACM Symposium on Principles of Programming Languages, pp. 323\u2013332 (1991)","DOI":"10.1145\/99583.99626"},{"issue":"1","key":"7_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90151-I","volume":"114","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Plotkin, G.D.: A logical view of composition. Theoretical Computer Science\u00a0114(1), 3\u201330 (1993)","journal-title":"Theoretical Computer Science"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Alexander, A., Reisig, W.: Logic of involved variables - system specification with Temporal Logic of Distributed Actions. In: Proc. of the 3rd International Conference on Aplication of Concurrency to System Design (ACSD 2003), Guimaraes, Portugal, pp. 167\u2013176 (2003)","DOI":"10.1109\/CSD.2003.1207711"},{"issue":"4","key":"7_CR9","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters\u00a021(4), 181\u2013185 (1985)","journal-title":"Information Processing Letters"},{"key":"7_CR10","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"E. Best","year":"1988","unstructured":"Best, E., Fernandez, C.: Nonsequential processes \u2013 a Petri net view. In: Brauer, W., Rozenberg, G., Salomaa, A. (eds.) EATCS Monographs on Theoretical Computer Science, vol.\u00a013. Springer, Heidelberg (1988)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/3-540-56863-8_51","volume-title":"Application and Theory of Petri Nets 1993","author":"D. Gomm","year":"1993","unstructured":"Gomm, D., Kindler, E., Paech, B., Walter, R.: Compositional liveness properties of EN-systems. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 262\u2013281. Springer, Heidelberg (1993)"},{"key":"7_CR12","volume-title":"Logic in Computer Science: Modelling and reasoning about systems","author":"M. Huth","year":"2000","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press, Cambridge (2000)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/3-540-63139-9_39","volume-title":"Application and Theory of Petri Nets 1997","author":"E. Kindler","year":"1997","unstructured":"Kindler, E.: A compositional partial order semantics for Petri net components. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 235\u2013252. Springer, Heidelberg (1997)"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/978-1-4471-3078-9_14","volume-title":"Structures in Concurrency Theory, Workshops in Computing","author":"E. Kindler","year":"1995","unstructured":"Kindler, E., Walter, R.: Message passing mutex. In: Desel, J. (ed.) Structures in Concurrency Theory, Workshops in Computing, May 1995, pp. 205\u2013219. Springer, Heidelberg (1995)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Lamport, L.: Sometime is sometimes not never. In: Proc. of the 7th ACM Symposium on Principles of Programming Languages, January 1980, pp. 174\u2013185 (1980)","DOI":"10.1145\/567446.567463"},{"issue":"3","key":"7_CR16","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-49213-5_15","volume-title":"Compositionality: The Significant Difference","author":"L. Lamport","year":"1997","unstructured":"Lamport, L.: Composition: A way to make proofs harder. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 402\u2013423. Springer, Heidelberg (1997)"},{"key":"7_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1992)"},{"issue":"1","key":"7_CR19","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","volume":"13","author":"A. Pnueli","year":"1981","unstructured":"Pnueli, A.: The temporal semantics of concurrent programs. Theoretical Computer Science\u00a013(1), 45\u201361 (1981)","journal-title":"Theoretical Computer Science"},{"key":"7_CR20","series-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1090\/dimacs\/029\/06","volume-title":"Partial Order Methods in Verification","author":"W. Reisig","year":"1997","unstructured":"Reisig, W.: Interleaved progress concurrent progress and local progress. In: Peled, D.A., Pratt, V.R., Holzmann, G.J. (eds.) Partial Order Methods in Verification. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a029, pp. 99\u2013115. AMS, Providence (1997)"},{"key":"7_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03687-7","volume-title":"Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets","author":"W. Reisig","year":"1998","unstructured":"Reisig, W.: Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:25:46Z","timestamp":1620012346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}