Cancellative Convex Semilattices

No abstract is available for this paper.

• Publication year

  2025

• Venue

  Conference on Algebra and Coalgebra in Computer Science

• Publication date

  Unknown publication date

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.4230/LIPIcs.CALCO.2025.12
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Demonic Outcome Logic for Randomized Nondeterminism

  2024cited by this paper
• Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice

  2023cited by this paper
• Algebraic Presentation of Semifree Monads

  2022cited by this paper
• Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning

  2020cited by this paper
• Monads and Quantitative Equational Theories for Nondeterminism and Probability

  2020cited by this paper
• Combining probabilistic and non-deterministic choice via weak distributive laws

  2020cited by this paper
• Presenting convex sets of probability distributions by convex semilattices and unique bases

  2020cited by this paper
• The Theory of Traces for Systems with Nondeterminism, Probability, and Termination

  2018cited by this paper
• The Theory of Traces for Systems with Nondeterminism and Probability

  2018cited by this paper
• A convenient category for higher-order probability theory

  2017cited by this paper
• A Storm is Coming: A Modern Probabilistic Model Checker

  2017cited by this paper
• Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

  2016cited by this paper
• Congruence Lattices of Semilattices with Operators

  2016cited by this paper
• Mixed powerdomains for probability and nondeterminism

  2016influential reference
• Congruences of convex algebras

  2015cited by this paper
• Probabilistic Bisimulation: Naturally on Distributions

  2014cited by this paper
• Riesz spaces

  2012cited by this paper
• Modes, modals, and barycentric algebras: a brief survey and an additivity theorem

  2011cited by this paper
• Probabilistic Logical Characterization

  2011cited by this paper
• Convexity, Duality and Effects

  2010cited by this paper
• Equivalence Relations in Fully and Partially Observable Markov Decision Processes

  2009cited by this paper
• Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems

  2008cited by this paper
• Prevision Domains and Convex Powercones

  2008cited by this paper
• Principles of model checking

  2008cited by this paper
• Eilenberg-Moore algebras for stochastic relations

  2006cited by this paper
• Semantic Domains for Combining Probability and Non-Determinism

  2005cited by this paper
• Axioms for Probability and Nondeterminism

  2004cited by this paper
• Probability, Nondeterminism and Concurrency: Two Denotational Models for Probabilistic Computation

  2003cited by this paper
• PRISM: Probabilistic Symbolic Model Checker

  2002cited by this paper
• Nondeterminism and Probabilistic Choice: Obeying the Laws

  2000cited by this paper
• Mixing Up Nondeterminism and Probability: a preliminary report

  1998cited by this paper
• Planning and Acting in Partially Observable Stochastic Domains

  1998cited by this paper
• Modeling and verification of randomized distributed real-time systems

  1996cited by this paper
• Probabilistic Simulations for Probabilistic Processes

  1994cited by this paper
• Time and probability in formal design of distributed systems

  1994cited by this paper
• Automatic verification of probabilistic concurrent finite state programs

  1985cited by this paper
• Konvexe Räume

  1953cited by this paper
• Postulates for the barycentric calculus

  1949cited by this paper

• No citing papers are available for this paper.