Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

QRB-Domains and the Probabilistic Powerdomain

Jean Goubault-Larrecq.
Is there any Cartesian-closed category of continuous domains that would be closed under Jones and Plotkin's probabilistic powerdomain construction? This is a major open problem in the area of denotational semantics of probabilistic higher-order languages. We relax the question, and look for&nbsp;[&hellip;]
Published on February 29, 2012
Volume 8, Issue 1

Forward Analysis for WSTS, Part II: Complete WSTS

Alain Finkel ; Jean Goubault-Larrecq.
We describe a simple, conceptual forward analysis procedure for infinity-complete WSTS S. This computes the so-called clover of a state. When S is the completion of a WSTS X, the clover in S is a finite description of the downward closure of the reachability set. We show that such completions are&nbsp;[&hellip;]
Published on September 29, 2012
Volume 8, Issue 3
  • < Previous
  • 1
  • Next >