{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:09:01Z","timestamp":1760202541600},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439974"},{"type":"electronic","value":"9783540456575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45657-0_34","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T14:59:43Z","timestamp":1179586783000},"page":"414-427","source":"Crossref","is-referenced-by-count":34,"title":["Synchronous and Bidirectional Component Interfaces"],"prefix":"10.1007","author":[{"given":"Arindam","family":"Chakrabarti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"de Alfaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Freddy Y. C.","family":"Mang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Lamport, and P. Wolper. Realizable and unrealizable concurrent program specifications. In Proc. 16th Int. Colloq. Aut. Lang. Prog., volume 372 of Lect. Notes in Comp. Sci., pages 1\u201317. Springer-Verlag, 1989.","DOI":"10.1007\/BFb0035748"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"S. Abramsky. Games in the semantics of programming languages. In Proc. of the 11th Amsterdam Colloquium, pages 1\u20136. ILLC, Dept. of Philosophy, University of Amsterdam, 1997.","DOI":"10.1007\/BFb0029944"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"S. Abramsky, S. Gay, and R. Nagarajan. A type-theoretic approach to deadlock-freedom of asynchronous systems. In TACS\u201997: Theoretical Aspects of Computer Software. Third International Symposium, 1997.","DOI":"10.1007\/BFb0014557"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"R. Alur and T. A. Henzinger. Reactive modules. Formal Methods in System Design, pages 7\u201348, 1999.","DOI":"10.1023\/A:1008739929481"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"R. Alur, T. A. Henzinger, O. Kupferman, and M. Y. Vardi. Alternating refinement relations. In CONCUR 97: Concurrency Theory, volume 1466 of Lect. Notes in Comp. Sci., pages 163\u2013178. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0055622"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"R. Alur, T. A. Henzinger, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Tasiran. Mocha: modularity in model checking. In CAV 98: Proc. of 10th Conf. on Computer Aided Verification, volume 1427 of Lect. Notes in Comp. Sci., pages 521\u2013525. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0028774"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"E. Clarke, K. McMillan, S. Campos, and V. Hartonas-Garmhausen. Symbolic model checking. In CAV 96: Proc. of 8th Conf. on Computer Aided Verification, volume 1102 of Lect. Notes in Comp. Sci., pages 419\u2013422. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61474-5_93"},{"key":"34_CR8","unstructured":"L. de Alfaro, R. Alur, R. Grosu, T. Henzinger, M. Kang, R. Majumdar, F. Mang, C. Meyer-Kirsch, and B. Y. Wang. Mocha: A model checking tool that exploits design structure. In ICSE 01: Proceedings of the 23rd International Conference on Software Engineering, 2001."},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"L. de Alfaro and T. A. Henzinger. Interface automata. In Proc. of 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on Foun-dations of Software Engineering (ESEC\/FSE), pages 109\u2013120. ACM Press, 2001.","DOI":"10.1145\/503209.503226"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"L. de Alfaro and T. A. Henzinger. Interface theories for component-based design. In EMSOFT 01: Proc. of First Int. Workshop on Embedded Software, volume 2211 of Lect. Notes in Comp. Sci., pages 148\u2013165. Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45449-7_11"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"D. L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. MIT Press, 1988.","DOI":"10.7551\/mitpress\/6874.001.0001"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"34_CR13","unstructured":"N. A. Lynch. Distributed Algorithms. Morgan-Kaufmann, 1996."},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"N. A. Lynch and M. Tuttle. Hierarcical correctness proofs for distributed algorithms. In Proc. of 6th ACM Symp. Princ. of Dist. Comp., pages 137\u2013151, 1987.","DOI":"10.1145\/41840.41852"},{"key":"34_CR15","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991."},{"key":"34_CR16","unstructured":"R. Milner. An algebraic definition of simulation between programs. In Proc. of Second Int. Joint Conf. on Artificial Intelligence, pages 48\u2013489. The British Computer Society, 1971."},{"key":"34_CR17","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"34_CR18","unstructured":"J. C. Mitchell. Foundations for Programming Languages. MIT Press, 1996."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45657-0_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T22:34:42Z","timestamp":1683844482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45657-0_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439974","9783540456575"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45657-0_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}