Games I/O automata play

This publication has 15 references indexed in Scilit:

• Real-time sequence transmission problem
  Published by Association for Computing Machinery (ACM) ,1991
• Composing specifications
  Published by Springer Nature ,1990
• Process theory based on bisimulation semantics
  Published by Springer Nature ,1989
• Modelling knowledge and action in distributed systems: Preliminary report
  Published by Springer Nature ,1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols
  Published by Association for Computing Machinery (ACM) ,1987
• Constructing two-writer atomic registers
  Published by Association for Computing Machinery (ACM) ,1987
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983