Concurrent Programs as Strategies in Games

This publication has 39 references indexed in Scilit:

• Verifying temporal properties without temporal logic
  ACM Transactions on Programming Languages and Systems, 1989
• Recognizing safety and liveness
  Distributed Computing, 1987
• A theory for nondeterminism, parallelism, communication, and concurrency
  Theoretical Computer Science, 1986
• Defining liveness
  Information Processing Letters, 1985
• State-strategies for games in F_σδ ∩ G_δσ
  The Journal of Symbolic Logic, 1983
• Proof rules and transformations dealing with fairness
  Science of Computer Programming, 1983
• Processes and the denotational semantics of concurrency
  Information and Control, 1982
• Recursive assertions and parallel programs
  Acta Informatica, 1981
• Using determinancy of games to eliminate quantifiers
  Lecture Notes in Computer Science, 1977
• Solving sequential conditions by finite-state strategies
  Transactions of the American Mathematical Society, 1969