Interfaces: A game-theoretic framework for reasoning about component-based systems

Electronic Notes in Theoretical Computer Science

Volumn 97, Issue , 2004, Pages 3-23

  De Alfaro, Luca ^a   Stoelinga, Mariëlle ^a  

^a University of California Santa Cruz   (United States)

Author keywords

Behavioral type system; Component based design; Game theory

Indexed keywords

AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; CONSTRAINT THEORY; GAME THEORY; NETWORK PROTOCOLS;

AUTOMATON-BASED INTERFACES; BEHAVIORAL TYPE SYSTEM; COMPONENT-BASED DESIGN; REASONING;

INTERFACES (COMPUTER);

EID: 18944372251     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.04.030     Document Type: Conference Paper

References (17)

1. Abramsky S. Semantics of interaction. Kirchner H. Trees in Algebra and Programming - CAAP'96, Proc. 21st Int. Coll., Linköping. Lect. Notes in Comp. Sci. volume 1059:1996;1 Springer-Verlag
2. Abramsky S. Games in the semantics of programming languages. Proc. of the 11th Amsterdam Colloquium. 1997;1-6 ILLC, Dept. of Phylosophy, University of Amsterdam
3. Alur R, Dill D.L. A theory of timed automata. Theor. Comp. Sci. 126:1994;183-235
4. Abramsky S, Gay S, Nagarajan R. A type-theoretic approach to deadlock-freedom of asynchronous systems. TACS'97: Theoretical Aspects of Computer Software. Third International Symposium. 1997
5. Abramsky S, Honda K, McCusker G. A fully abstract game semantics for general references. Proc. 13th IEEE Symp. Logic in Comp. Sci. 1998;334-344 IEEE Computer Society Press
6. Chakrabarti A, de Alfaro L, Henzinger T.A, Jurdziński Marcin, Mang F.Y.C. Interface compatibility checking for software modules. CAV 02: Proc. of 14th Conf. on Computer Aided Verification. Lect. Notes in Comp. Sci. 2002;Springer-Verlag
7. Chakrabarti A, de Alfaro L, Henzinger T.A, Mang F.Y.C. Synchronous and bidirectional component interfaces. CAV 02: Proc. of 14th Conf. on Computer Aided Verification. Lect. Notes in Comp. Sci. 2002;Springer-Verlag
8. Chakrabarti A, de Alfaro L, Henzinger T.A, Stoelinga M.I.A. Resource interfaces. Proceedings of the Third International Workshop on Embedded Software (EMSOFT 2003). Lect. Notes in Comp. Sci. 2003;Springer-Verlag
9. Chaki S, Rajamani S.K, Rehof J. Types as models: Model checking message-passing programs. Proc. 29th ACM Symp. Princ. of Prog. Lang. 2002
10. de Alfaro L. Game models for open systems. Int. Symposium on Verification celebrating Zohar Manna's 64th Birthday. Lect. Notes in Comp. Sci. volume 2772:2003;Springer-Verlag
11. de Alfaro L. Game models for open systems. Proceedings of the International Symposium on Verification (Theory in Practice). Lect. Notes in Comp. Sci. volume 2772:2003;Springer-Verlag
12. de Alfaro L, Henzinger T.A. Interface automata. Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). 2001;109-120 ACM Press
13. de Alfaro L, Henzinger T.A. Interface theories for component-based design. EMSOFT 01: 1st Intl. Workshop on Embedded Software. Lect. Notes in Comp. Sci. volume 2211:2001;148-165 Springer-Verlag
14. de Alfaro L, Henzinger T.A, Stoelinga M.I.A. Timed interfaces. Proceedings of the Second International Workshop on Embedded Software (EMSOFT 2002). Lect. Notes in Comp. Sci. volume 2491:2002;108-122 Springer-Verlag
15. Dill D.L. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. 1988;MIT Press
16. Rajamani S.K, Rehof J. A behavioral module system for the pi-calculus. Proc. SAS 01, Static Analysis Symposium. Lect. Notes in Comp. Sci. volume 2126:2001;375-394 Springer-Verlag
17. Rajamani S.K, Rehof J. Conformance checking for models of asynchronous message passing software. CAV 02: Proc. of 14th Conf. on Computer Aided Verification. Lect. Notes in Comp. Sci. volume 2404:2002;Springer-Verlag