Communicating sequential processes
Communicating sequential processes
Free constructions of powerdomains
Proceedings of the international conference on Mathematical foundations of programming semantics
A probabilistic powerdomain of evaluations
Proceedings of the Fourth Annual Symposium on Logic in computer science
Probabilistic non-determinism
A type-theoretical alternative to ISWIM, CUCH, OWHY
Theoretical Computer Science - A collection of contributions in honour of Corrado Bo¨hm on the occasion of his 70th birthday
Dynamical systems, measures, and fractals via domain theory
Information and Computation
Selected papers of the workshop on Topology and completion in semantics
Handbook of logic in computer science (vol. 3)
Power domains and iterated function systems
Information and Computation
Probabilistic predicate transformers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Probabilistic models for the guarded command language
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Some results on Hahn-Banach-type theorems for continuous D-cones
Theoretical Computer Science - Domains
Partial correctness for probabilistic demonic programs
Theoretical Computer Science
A Discipline of Programming
The Powerdomain of Indexed Valuations
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
The Versatile Continuous Order
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
A Powerdomain for Countable Non-Determinism (Extended Abstract)
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Power Domains and Predicate Transformers: A Topological View
Proceedings of the 10th Colloquium on Automata, Languages and Programming
A Complete System for SCCS with Modal Assertions
Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
Distributing probability over non-determinism
Mathematical Structures in Computer Science
A domain-theoretic Banach–Alaoglu theorem
Mathematical Structures in Computer Science
Information and Computation
Combining effects: sum and tensor
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Discrete Lawvere theories and computational effects
Theoretical Computer Science - Algebra and coalgebra in computer science
Probabilistic Completion of Nondeterministic Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Remarks on Testing Probabilistic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about probabilistic sequential programs
Theoretical Computer Science
Domain semantics of possibility computations
Information Sciences: an International Journal
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Security, Probability and Nearly Fair Coins in the Cryptographers' Café
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
True-concurrency probabilistic models
Information and Computation
Comparing free algebras in Topological and Classical Domain Theory
Theoretical Computer Science
Probabilistic anonymity via coalgebraic simulations
Theoretical Computer Science
Simulation hemi-metrics between infinite-state stochastic games
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Prevision domains and convex powercones
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
De groot duality and models of choice: Angels, demons and nature†
Mathematical Structures in Computer Science
Characterising probabilistic processes logically
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Reasoning about states of probabilistic sequential programs
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
The extended probabilistic powerdomain monad over stably compact spaces
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Probability and nondeterminism in operational models of concurrency
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Semantics of non-deterministic possibility computation
Fuzzy Sets and Systems
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Observationally-induced Algebras in Domain Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Measurable Spaces and Their Effect Logic
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.02 |
This article has been retracted at the request of the Editor-in-Chief and Author. Please see Elsevier Policy on Article Withdrawal (http://www.elsevier.com/locate/withdrawalpolicy). Reason: There were errors in the processing of the original files that caused the numbering of sections, subsections, etc., to be wrong, and that also impacted the numbering of Definitions, Theorems, etc., throughout the monograph. There was also an error in the proof of Lemma 4.30, pointed out to the authors by Jean Goubault-Larrecq; this has now been corrected. A corrected version of the manuscript will be published as Volume 222 of Electronic Notes in Theoretical Computer Science.