Measuring the probabilistic powerdomain

[1]  Keye Martin,et al.  Unique Fixed Points in Domain Theory , 2001, MFPS.

[2]  Mauricio. Alvarez Manilla.  Measure theoretic results for continuous valuations on partially ordered spaces , 2001 .

[3]  Keye Martin,et al.  The Measurement Process in Domain Theory , 2000, ICALP.

[4]  Michael W. Mislove,et al.  A foundation for computation , 2000 .

[5]  Michael W. Mislove,et al.  Topology, domain theory and theoretical computer science , 1998 .

[6]  P. Panangaden,et al.  Nuclear and trace ideals in tensored-categories , 1998, math/9805102.

[7]  Abbas Edalat,et al.  A Computational Model for Metric Spaces , 1998, Theor. Comput. Sci..

[8]  Abbas Edalat,et al.  An Extension Result for Continuous Valuations , 2000, COMPROX.

[9]  Jimmie D. Lawson,et al.  Spaces of maximal points , 1997, Mathematical Structures in Computer Science.

[10]  Abbas Edalat,et al.  When Scott is weak on the top , 1997, Mathematical Structures in Computer Science.

[11]  Reinhold Heckmann,et al.  Spaces of Valuations , 1996 .

[12]  Abbas Edalat,et al.  Power Domains and Iterated Function Systems , 1996, Inf. Comput..

[13]  Abbas Edalat,et al.  Domain theory and integration , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

[14]  Claire Jones,et al.  Probabilistic non-determinism , 1990 .

[15]  Susumu Hayashi,et al.  Self-similar Sets as Tarski's Fixed Points , 1985 .

[16]  B. Pettis,et al.  ON THE EXTENSION OF MEASURES , 1951 .