{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:56:13Z","timestamp":1725512173108},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540713159"},{"type":"electronic","value":"9783540713227"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71322-7_10","type":"book-chapter","created":{"date-parts":[[2007,6,4]],"date-time":"2007-06-04T15:05:59Z","timestamp":1180969559000},"page":"201-224","source":"Crossref","is-referenced-by-count":9,"title":["Ensuring Properties of Interaction Systems"],"prefix":"10.1007","author":[{"given":"Gregor","family":"G\u00f6ssler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanne","family":"Graf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mila","family":"Majster-Cederbaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moritz","family":"Martens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"10_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. Softw. Eng. Methodol.\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/978-3-540-30579-8_30","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"P.C. Attie","year":"2005","unstructured":"Attie, P.C., Chockler, H.: Efficiently verifiable conditions for deadlock-freedom of large concurrent programs. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 465\u2013481. Springer, Heidelberg (2005)"},{"key":"10_CR3","unstructured":"Baumeister, H., et al.: A Component Modell for Architectural Programming. In: Proceedings of FACS 2005. ENTCS (2005)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference, Vienna, pp. 109\u2013120 (2001)","DOI":"10.1145\/503209.503226"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1016\/0022-0000(79)90006-0","volume":"19","author":"N. Francez","year":"1979","unstructured":"Francez, N., et al.: Semantics of non-determinism, concurrency and communication. Journal of Computer Science\u00a019, 290\u2013308 (1979)","journal-title":"Journal of Computer Science"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69507-3_24","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"G. G\u00f6ssler","year":"2007","unstructured":"G\u00f6ssler, G., et al.: An Approach to Modelling and Verification of Component Based Systems. In: van Leeuwen, J., et al. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, Springer, Heidelberg (2007)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/978-3-540-24597-1_36","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"G. G\u00f6\u00dfler","year":"2003","unstructured":"G\u00f6\u00dfler, G., Sifakis, J.: Component-based construction of deadlock-free systems. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol.\u00a02914, pp. 420\u2013433. Springer, Heidelberg (2003)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Components and Objects","author":"G. G\u00f6\u00dfler","year":"2004","unstructured":"G\u00f6\u00dfler, G., Sifakis, J.: Priority systems. In: de Boer, F.S., et al. (eds.) FMCO 2003. LNCS, vol.\u00a03188, Springer, Heidelberg (2004)"},{"issue":"1-3","key":"10_CR9","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","volume":"55","author":"G. G\u00f6\u00dfler","year":"2005","unstructured":"G\u00f6\u00dfler, G., Sifakis, J.: Composition for component-based modeling. Sci. Comput. Program.\u00a055(1-3), 161\u2013183 (2005)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"10_CR10","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI-Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI-Quarterly"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69507-3_77","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"M. Majster-Cederbaum","year":"2007","unstructured":"Majster-Cederbaum, M., Martens, M., Minnameier, C.: A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. In: van Leeuwen, J., et al. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, Springer, Heidelberg (2007)"},{"key":"10_CR12","unstructured":"Martens, M., Minnameier, C., Majster-Cederbaum, M.: Deciding Liveness in Component-Based Systems is NP-hard. Technical report TR-2006-017, Universit\u00e4t Mannheim (2006)"},{"key":"10_CR13","unstructured":"Minnameier, C.: Deadlock-Detection in Component-Based Systems is NP-hard. Technical report TR-2006-015, Universit\u00e4t Mannheim, also submitted for publication elsewhere (2006)"},{"key":"10_CR14","volume-title":"The Theory of Database Concurrency Control","author":"C.H. Papadimitriou","year":"1986","unstructured":"Papadimitriou, C.H.: The Theory of Database Concurrency Control. Computer Science Press, Rockville (1986)"},{"key":"10_CR15","series-title":"NATO, ASI Series F","volume-title":"Logics and Models for Concurrent Systems","author":"A. Pnueli","year":"1985","unstructured":"Pnueli, A.: In transition from global to modular temporal reasoning about programs. In: Logics and Models for Concurrent Systems. NATO, ASI Series F, vol.\u00a013, Springer, Heidelberg (1985)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Sifakis, J.: A framework for component-based construction. In: 3rd IEEE International Conference on Software Engineering and Formal Methods, volume Key note talk, Koblenz (2005)","DOI":"10.1109\/SEFM.2005.3"},{"key":"10_CR17","volume-title":"Modern Operating Sytems","author":"A.S. Tanenbaum","year":"2001","unstructured":"Tanenbaum, A.S.: Modern Operating Sytems. Prentice-Hall, Englewood Cliffs (2001)"},{"key":"10_CR18","volume-title":"Data Base and Knowledge-Base Systems, vol.1","author":"J.D. Ullman","year":"1988","unstructured":"Ullman, J.D.: Data Base and Knowledge-Base Systems, vol.1. Computer Science Press, Rockville (1988)"}],"container-title":["Lecture Notes in Computer Science","Program Analysis and Compilation, Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71322-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:18:27Z","timestamp":1605763107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71322-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540713159","9783540713227"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71322-7_10","relation":{},"subject":[]}}