Computable concurrent processes

This publication has 9 references indexed in Scilit:

• Powerdomains, powerstructures and fairness
  Published by Springer Nature ,1995
• Algebraic and fixed point equations over inverse limits of algebras
  Theoretical Computer Science, 1991
• A model of concurrency with fair merge and full recursion
  Information and Computation, 1991
• The formal language of recursion
  The Journal of Symbolic Logic, 1989
• On the synthesis of a reactive module
  Published by Association for Computing Machinery (ACM) ,1989
• Realizable and unrealizable specifications of reactive systems
  Published by Springer Nature ,1989
• A theory for nondeterminism, parallelism, communication, and concurrency
  Theoretical Computer Science, 1986
• Power domains
  Journal of Computer and System Sciences, 1978
• A Powerdomain Construction
  SIAM Journal on Computing, 1976