Power domains and second-order predicates

Authors:
Reinhold Heckmann
Affiliations:
Univ. des Saarlandes, Saarbru¨cken, Germany
Venue:
Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990
Year:
1993

Modal Transition Systems: A Foundation for Three-Valued Program Analysis

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Predicate transformers for extended probability and non-determinism

Mathematical Structures in Computer Science
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting

Electronic Notes in Theoretical Computer Science (ENTCS)
Consistent Partial Model Checking

Electronic Notes in Theoretical Computer Science (ENTCS)
Synthetic Topology

Electronic Notes in Theoretical Computer Science (ENTCS)
Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions

Electronic Notes in Theoretical Computer Science (ENTCS)
Lower Bag Domains

Fundamenta Informaticae

Hi-index	0.00