1. When are two web services compatible?;Bordeaux,2004
2. On communicating finite-state machines;Brand;J. ACM,1983
3. Protocol specifications and component adaptors;Yellin;ACM Trans. Program. Lang. Syst.,1997
4. Interface automata;de Alfaro,2001
5. Compatibility and inheritance in software architectures;Canal;Sci. Comput. Program.,2001