Advertisement

Automata for Specifying Component Interfaces

  • Thomas A. Henzinger
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2759)

References

  1. [1]
    R. Alur, T. A. Henzinger, O. Kupferman, and M.Y. Vardi. Alternating refinement relations. In CONCUR 98: Concurrency Theory, Lecture Notes in Computer Science 1466, pages 163–178. Springer-Verlag, 1998.CrossRefGoogle Scholar
  2. [2]
    A. Chakrabarti, L. de Alfaro, T.A. Henzinger, M. Jurdziński, and F. Y.C. Mang. Interface compatibility checking for software modules. In CAV 02: Computer-Aided Verification, Lecture Notes in Computer Science 2404, pages 428–441. Springer-Verlag, 2002.CrossRefGoogle Scholar
  3. [3]
    A. Chakrabarti, L. de Alfaro, T.A. Henzinger, and F.Y.C. Mang. Synchronous and bidirectional component interfaces. In CAV 02: Computer-Aided Verification, Lecture Notes in Computer Science 2404, pages 414–427. Springer-Verlag, 2002.CrossRefGoogle Scholar
  4. [4]
    A. Chakrabarti, L. de Alfaro, T.A. Henzinger, and M. Stoelinga. Resource interfaces. Submitted, 2003.Google Scholar
  5. [5]
    L. de Alfaro and T.A. Henzinger. Interface automata. In Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, pages 109–120. ACM Press, 2001.Google Scholar
  6. [6]
    L. de Alfaro and T.A. Henzinger. Interface theories for component-based design. In EMSOFT 01: Embedded Software, Lecture Notes in Computer Science 2211, pages 148–165. Springer-Verlag, 2001.Google Scholar
  7. [7]
    L. de Alfaro, T.A. Henzinger, and M. Stoelinga. Timed interfaces. In EMSOFT 02: Embedded Software, Lecture Notes in Computer Science 2491, pages 108–122. Springer-Verlag, 2002.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Thomas A. Henzinger
    • 1
  1. 1.University of CaliforniaBerkeley

Personalised recommendations