1. LNCS;M. Abadi,1989
2. LNCS;L. Alfaro de,2003
3. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Tjoa, A.M., Gruhn, V. (eds.) Intl. Symp. on Foundations of Software Engineering (FSE), pp. 109–120. ACM, New York (2001)
4. LNCS;L. Alfaro de,2001
5. de Alfaro, L., Henzinger, T.A., Kupferman, O.: Concurrent reachability games. Theor. Comput. Sci. 386(3), 188–217 (2007)