On the power of cooperative concurrency

This publication has 16 references indexed in Scilit:

• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Petri Nets
  Published by Springer Nature ,1985
• Alternation
  Journal of the ACM, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• On parallelism in turing machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1976
• Theories of automata on ω-tapes: A simplified approach
  Journal of Computer and System Sciences, 1974
• Economy of description by automata, grammars, and formal systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1971
• Quasi-realtime languages
  Theory of Computing Systems, 1970
• Testing and generating infinite sequences by a finite automaton
  Information and Control, 1966
• Finite Automata and Their Decision Problems
  IBM Journal of Research and Development, 1959