Reducibility in analysis of coordination

This publication has 11 references indexed in Scilit:

• Modelling concurrent processes
  Proceedings of Symposia in Applied Mathematics, 1985
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• Automated Theorem Proving: After 25 Years
  Contemporary Mathematics, 1984
• Finite-state ω-languages
  Journal of Computer and System Sciences, 1983
• Theories of automata on ω-tapes: A simplified approach
  Journal of Computer and System Sciences, 1974
• Lectures on Boolean Algebras
  Published by Springer Nature ,1974
• Depth-First Search and Linear Graph Algorithms
  SIAM Journal on Computing, 1972
• Automata on Infinite Objects and Church’s Problem
  CBMS Regional Conference Series in Mathematics, 1972
• AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON
  Published by Elsevier ,1971
• Finite Automata and Their Decision Problems
  IBM Journal of Research and Development, 1959