{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:59:07Z","timestamp":1725544747493},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540358008"},{"type":"electronic","value":"9783540358336"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11786160_8","type":"book-chapter","created":{"date-parts":[[2006,7,3]],"date-time":"2006-07-03T19:40:49Z","timestamp":1151955649000},"page":"137-151","source":"Crossref","is-referenced-by-count":0,"title":["On the Composition of Compositional Reasoning"],"prefix":"10.1007","author":[{"given":"Felix C.","family":"Freiling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Santen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"8_CR1","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"},{"issue":"3","key":"8_CR2","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":"8_CR3","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, 181\u2013185 (1985)","journal-title":"Information Processing Letters"},{"key":"8_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03792-8","volume-title":"Reliability Engineering: Theory and Practice","author":"A. Birolini","year":"1999","unstructured":"Birolini, A.: Reliability Engineering: Theory and Practice, 3rd edn. Springer, Heidelberg (1999)","edition":"3"},{"key":"8_CR5","volume-title":"Parallel Program Design: A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/10722010_12","volume-title":"Mathematics of Program Construction","author":"M. Charpentier","year":"2000","unstructured":"Charpentier, M., Chandy, K.M.: Theorems about composition. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol.\u00a01837, pp. 167\u2013186. Springer, Heidelberg (2000)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11556169_12","volume-title":"Architecting Dependable Systems III","author":"I. Crnkovi\u0107","year":"2005","unstructured":"Crnkovi\u0107, I., Larsson, M., Preiss, O.: Concerning predictability in dependable component-based systems: Classification of quality attributes. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems III. LNCS, vol.\u00a03549, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"key":"8_CR8","unstructured":"Johnson, D.M., Thayer, F.J.: Security and the composition of machines. In: Proc. IEEE Computer Security Foundations Workshop, pp. 72\u201389 (1988)"},{"key":"8_CR9","unstructured":"Kindler, E.: Safety and liveness properties: A survey. EATCS-Bulletin\u00a053 (June 1994)"},{"key":"8_CR10","unstructured":"Lyu, M.R. (ed.): Handbook of Software Reliability Engineering. McGraw-Hill and IEEE Computer Society (1996)"},{"key":"8_CR11","volume-title":"The temporal logic of reactive and concurrent systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems: Specification. Springer, Heidelberg (1991)"},{"key":"8_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal verification of reactive systems: safety","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal verification of reactive systems: safety. Springer, Heidelberg (1995)"},{"key":"8_CR13","volume-title":"Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW 2000)","author":"H. Mantel","year":"2000","unstructured":"Mantel, H.: Possibilistic definitions of security - An assembly kit. In: Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW 2000). IEEE Computer Society Press, Cambridge (2000)"},{"key":"8_CR14","unstructured":"Mantel, H.: A Uniform Framework for the Formal Specification and Verification of Information Flow Security. PhD thesis, Universit\u00e4t des Saarlandes (2003)"},{"key":"8_CR15","unstructured":"McLean, J.: A general theroy of composition for trace sets closed under selective interleaving functions. In: Proc. IEEE Symposium on Research in Security and Privacy, pp. 73\u201393 (1994)"},{"key":"#cr-split#-8_CR16.1","doi-asserted-by":"crossref","unstructured":"McLean, J.: A general theory of composition for a class of ???possibilistic??? properties. IEEE Transactions on Software Engineering??22(1), 53???67 (1996);","DOI":"10.1109\/32.481534"},{"key":"#cr-split#-8_CR16.2","unstructured":"Special Section???Best Papers of the IEEE Symposium on Security and Privacy (1994)"},{"key":"8_CR17","volume-title":"Component Software: Beyond Object- Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C., Gruntz, D., Murer, S.: Component Software: Beyond Object- Oriented Programming, 2nd edn. ACM Press and Addison-Wesley, New York (2002)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Architecting Systems with Trustworthy Components"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11786160_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T15:26:03Z","timestamp":1555687563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11786160_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540358008","9783540358336"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11786160_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}