Author:
Mouelhi Sebti,Chouali Samir,Mountassir Hassan
Subject
General Computer Science,Theoretical Computer Science
Reference13 articles.
1. L. Alfaro and T.A. Henzinger. Interface automata. ACM Press, 9th Annual Aymposium of FSE (Foundations of Software Engineering), pages 109–120, 2001
2. Interface-based design;Alfaro,2005
3. Concurrent logic and automata combined: A semantics for components;Bowles;Electron. Notes Theor. Comput. Sci.,2007
4. A theory of communicating sequetial processes;Brookes;Journal of the ACM (JACM),1984
5. L. D. d. S. M. F. A. L. V. R. B.T. Adler, L. de Alfaro and P. Roy. Ticc: A tool for interface compatibility and composition. In Computer Aided Verification (CAV06) in Seattle, WA, pages 59–62
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interface Automata for Shared Memory;Acta Informatica;2021-08-30
2. Hybrid dynamic logic institutions for event/data-based systems;Formal Aspects of Computing;2021-07-29
3. Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition;2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC);2017-07
4. Object-Oriented Component-Based Design using Behavioral Contracts;Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering;2015-05-04
5. A Transformation from Simulink/Stateflow to Hierarchical Interface Automata;2013 International Conference on Information Technology and Applications;2013-11