Relating total and partial correctness interpretations of non-deterministic programs
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proving concurrent constraint programs correct
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lazy computation with exact real numbers
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Characterising FS domains by means of power domains
Theoretical Computer Science - Domains
Stochastic lambda calculus and monads of probability distributions
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Erratic fudgets: a semantic theory for an embedded coordination language
Science of Computer Programming - Special issue on coordination languages and architectures
Modular Specification of Concurrent Systems with Observational Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
On the Semantics of Refinement Calculi
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Logic for Probabilities in Semantics
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
A categorical model for higher order imperative programming
Mathematical Structures in Computer Science
Operations and equations for coalgebras
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
A Hofmann-Mislove theorem for Bitopological Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of a sequential language for exact real-number computation
Theoretical Computer Science
Domain semantics of possibility computations
Information Sciences: an International Journal
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the Continuity of Effective Multifunctions
Electronic Notes in Theoretical Computer Science (ENTCS)
Operational domain theory and topology of sequential programming languages
Information and Computation
Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Predicate transformers for extended probability and non-determinism
Mathematical Structures in Computer Science
Abstract Interpretation From a Denotational-semantics Perspective
Electronic Notes in Theoretical Computer Science (ENTCS)
Extending Algebraic Operations to D-Completions
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract Interpretation from a Topological Perspective
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
RETRACTED: Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A domain equation for bisimulation
Information and Computation
Formal topology and information systems
Transactions on rough sets VI
Efficient context-sensitive shape analysis with graph based heap models
CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
A duality theorem for real C* algebras
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Domain representations of spaces of compact subsets
Mathematical Structures in Computer Science
Journal of Computer Security - 7th International Workshop on Issues in the Theory of Security (WITS'07)
Mathematical Structures in Computer Science
Descriptive and relative completeness of logics for higher-order functions
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Interweaving algebra and topology: Lattice-valued topological systems
Fuzzy Sets and Systems
Assertions, conditionals, and defaults
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Inverse-limit and topological aspects of abstract interpretation
Theoretical Computer Science
Extending algebraic operations to D-completions
Theoretical Computer Science
Dexter kozen's influence on the theory of labelled markov processes
Logic and Program Semantics
A NOTE ON THE SMYTH POWERDOMAIN CONSTRUCTION
Fundamenta Informaticae
Adjunctions Between Categories Of Domains
Fundamenta Informaticae
Fundamenta Informaticae
Topology And The Semantics Of Logic Programs
Fundamenta Informaticae
The duality of state and observation in probabilistic transition systems
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
Quasicontinuous Domains and the Smyth Powerdomain
Electronic Notes in Theoretical Computer Science (ENTCS)
Stone Duality for Markov Processes
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Duality in Logic and Computation
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |