Interface automata

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2001, Pages 109-120

  De Alfaro, Luca ^a   Henzinger, Thomas A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; GAME THEORY; SOFTWARE ENGINEERING;

SOFTWARE DESIGN;

INTERFACES (COMPUTER);

EID: 0035783442     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/503225.503226     Document Type: Conference Paper

References (13)

1. R. Allen and D. Garland. Formalizing architectural connection. In Proc. 16th IEEE Conf. Software Engineering, pages 71-80, 1994.
2. R. Alur, T. Henzinger, O. Kupferman, and M. Vardi. Alternating refinement relations. In Concurrency Theory, Lecture Notes in Computer Science 1466, pages 163-178. Springer-Verlag, 1998.
3. L. de Alfaro, T. Henzinger, and F. Mang. Detecting errors before reaching them. In Computer-Aided Verification, Lecture Notes in Computer Science 1855, pages 186-201. Springer-Verlag, 2000.
4. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
5. D. Jackson. Enforcing design constraints with object logic. In Static Analysis Sumposium, Lecture Notes in Computer Science 1824, pages 1-21. Springer-Verlag, 2000.
6. O. Kupferman and M. Vardi. Verification of fair transition systems. Chicago J. Theoretical Computer Science, 2, 1998.
7. E. Lee and Y. Xiong. System-level Types for Component-based Design. Technical Memorandum UCB/ERL M00/8, Electronics Research Lab, University of California, Berkeley, 2000.
8. N. Leveson. System Safety and Computers. Addison-Wesley, 1995.
9. N. Lynch and M. Tuttle. Hierarcical correctness proofs for distributed algorithms. In Proc. 6th ACM Symp. Principles of Distributed Computing, pages 137-151, 1987.
10. R. Milner. An algebraic definition of simulation between programs. In Proc. 2nd International Joint Conference on Artificial Intelligence, pages 481-489. The British Computer Society, 1971.
11. J. Reif. The complexity of two-player games of incomplete information. J. Computer and System Sciences, 29:274-301, 1984.
12. J. Rumbaugh, G. Booch, and I. Jacobson. The UML Reference Guide. Addison-Wesley, 1999.
13. D. Yellin and R. Strom. Protocol specifications and component adapters. ACM Trans. Programming Languages and Systems, 19:292-333, 1997.