Interface automata
Top Cited Papers
- 1 September 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 109-120
- https://doi.org/10.1145/503209.503226
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Alternating refinement relationsPublished by Springer Nature ,1998
- Protocol specifications and component adaptorsACM Transactions on Programming Languages and Systems, 1997
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Hierarchical correctness proofs for distributed algorithmsPublished by Association for Computing Machinery (ACM) ,1987
- The complexity of two-player games of incomplete informationJournal of Computer and System Sciences, 1984