Interface input/output automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4085 LNCS, Issue , 2006, Pages 82-97

  Larsen, Kim G ^a   Nyman, Ulrik ^a   Wa̧sowski, Andrzej ^b  

^a AALBORG UNIVERSITY   (Denmark)

^b IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; PROBLEM SOLVING;

BEHAVIORAL INTERFACE THEORIES; INTERFACE AUTOMATA; INTERFACE LANGUAGES;

INTERFACES (COMPUTER);

EID: 33749392446     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11813040_7     Document Type: Conference Paper

References (22)

1. Igarashi, A., Kobayashi, N.: A generic type system for the pi-calculus. In: POPL 2001, ACM Press (2001)
2. Rajamani, S.K., Rehof, J.: Conformance checking for models of asynchronous message passing software. In Brinksma, E., Larsen, K.G., eds.: 14th International Conference on Computer Aided Verification (CAV). Volume 2404 of Lecture Notes in Computer Science., Copenhagen, Denmark, Springer-Verlag (2002) 166-179
3. Lee, E.A., Xiong, Y.: A behavioral type system and its application in Ptolemy II. Formal Aspects of Computing Journal (2004) Special issue on Semantic Foundations of Engineering Design Languages.
4. Lee, E.A., Zheng, H., Zhou, Y.: Causality interfaces and compositional causality analysis. [22]
5. Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), Vienna, Austria, ACM Press (2001) 109-120
6. Alfaro, L., Henzinger, T.A.: Interface-based design. In: In Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School, Kluwer Academic Publishers (2004)
7. Larsen, K.G., Larsen, U., Wa̧sowski, A.: Color-blind specifications for transformations of reactive synchronous programs. In Cerioli, M., ed.: Proceedings of FASE, Edinburgh, UK, April 2005. LNCS, Springer-Verlag (2005)
8. Hoare, C.: Communicating Sequential Processes. International Series in Computer Science. Prentice Hall (1985)
9. Maier, P.: Compositional circular assume-guarantee rules cannot be sound and complete. In Gordon, A., ed.: Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003. Volume 2620 of Lecture Notes in Computer Science, Springer-Verlag (2003) 343-357
10. Larsen, K.G., Thomsen, B.: A modal process logic. In: LICS, IEEE Computer Society (1988) 203-210
11. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. 2nd edn. Addison-Wesley (2001)
12. Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M.: Alternating refinement relations. In Sangiorgi, D., de Simone, R., eds.: Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR'98). Volume 1466 of Lecture Notes in Computer Science., Springer-Verlag (1998) 163-178
13. Alfaro, L., Henzinger, T., Stoelinga, M.I.A.: Timed interfaces. In Sangiovanni-Vincentelli, A., Sifakis, J., eds,: EMSOFT 02: Proc. of 2nd Intl. Workshop on Embedded Software. Lecture Notes in Computer Science, Springer (2002) 108-122
14. Chakabarti, A., de Alfaro, L., Henzinger, T.A., Stoelinga, M.I.A.: Resource interfaces. In Alur, R., Lee, I., eds.: EMSOFT 03: 3rd Intl. Workshop on Embedded Software. Lecture Notes in Computer Science, Springer (2003)
15. Lynch, N.: I/O automata: A model for discrete event systems. In: Annual Conference on Information Sciences and Systems, Princeton University, Princeton, N.J. (1988) 29-38
16. Larsen, K.G.: Context Dependent Bisimulation Between Processes. PhD thesis, Edinburgh University (1986)
17. Larsen, K.G.: A context dependent equivalence between processes. Theoretical Computer Science 49 (1987) 184-215
18. Larsen, K.G., Milner, R.: A compositional protocol verification using relativized bisimulation. Information and Computation 99 (1992) 80-108
19. Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using UPPAAL. In: Formal Approaches to Testing of Software (FATES), Linz, Austria. September 21, 2004. Volume 1644 of Lecture Notes in Computer Science, Springer-Verlag (2005)
20. Larsen, K.G., Xinxin, L.: Equation solving using modal transition systems. In: Fifth Annual IEEE Symposium on Logics in Computer Science (LICS), 4-7 June 1990, Philadelphia, PA, USA. (1990) 108-117
21. Larsen, K.G., Nyman, U., Wa̧sowski, A.; Interface input/output automata: Splitting assumptions from guarantees. [22]
22. Hermanns, H., Rehof, J., Stoelinga, M.I.A., eds.: Workshop Procedings FIT 2005: Foundations of Interface Technologies. ENTCS, Elsevier Science Publishers (2005)