Compactness in semantics for merge and fair merge

This publication has 15 references indexed in Scilit:

• Power domains and predicate transformers: A topological view
  Published by Springer Nature ,2005
• Topological characterizations of infinite behaviours of transition systems
  Published by Springer Nature ,1983
• Processes and the denotational semantics of concurrency
  Information and Control, 1982
• Denotational semantics of concurrency
  Published by Association for Computing Machinery (ACM) ,1982
• Proof rules dealing with fairness
  Published by Springer Nature ,1982
• A cook's tour of countable nondeterminism
  Published by Springer Nature ,1981
• Metric interpretations of infinite trees and semantics of non deterministic recursive programs
  Theoretical Computer Science, 1980
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• A Compendium of Continuous Lattices
  Published by Springer Nature ,1980
• Topologies on spaces of subsets
  Transactions of the American Mathematical Society, 1951