Separation and reduction

DOI10.1007/10722010_4MaRDI QIDQ2721093zbMATH OpenFDO

Authors Ernie Cohen

Publication date 1 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722010_4

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A criterion for atomicity
• An approach to splitting atoms safely (extended abstract)
• Compositionality Entails Sequentializability
• Partial order reductions
• A calculus of atomic actions

Cited in

(45)

• An algebra of hybrid systems
• Proving the correctness of client/server software
• Typing theorems of omega algebra
• Left omega algebras and regular equations
• Infinite executions of lazy and strict computations
• Completeness results for omega-regular algebras
• Computing least and greatest fixed points in absorptive semirings
• Unifying lazy and strict computations
• On completeness of omega-regular algebras
• An algebraic approach to computations with progress
• Concurrent Kleene Algebra
• Latest News about Demonic Algebra with Domain
• On the Structure of Demonic Refinement Algebras with Enabledness and Termination
• Non-termination in Idempotent Semirings
• Knowledge and Games in Modal Semirings
• Stone Kleene
• Kleene Algebra
• KAD
• scientific article; zbMATH DE number 1540327 (Why is no real title available?)
• A generalisation of stationary distributions, and probabilistic program algebra
• Structural transformations for data-enriched real-time systems
• Modal tools for separation and refinement
• Fixing Zeno gaps
• Fixpoints for general correctness
• Concurrent Kleene algebra and its foundations
• Normal forms in total correctness for while programs and action systems
• Abstract representation theorems for demonic refinement algebras
• Algebraic notions of nontermination: Omega and divergence in idempotent semirings
• On/off scale separation
• Cyclic system for an algebraic theory of alternating parity automata
• Some uses of modal semirings
• Dual choice and iteration in an abstract algebra of action
• A proof theory of right-linear ( -)grammars via cyclic proofs
• Algebras for iteration and infinite computations
• Right-linear lattices: an algebraic theory of -regular languages, with fixed points
• Kleene Algebra with Tests and Demonic Refinement Algebras
• Kleene under a modal demonic star
• Abstract abstract reduction
• Algebras of modal operators and partial correctness
• Normal design algebra
• Optimistic synchronization-based state-space reduction
• Enabledness and termination in refinement algebra
• Algebraic neighbourhood logic
• Using probabilistic Kleene algebra pKA for protocol verification
• Algebraic reasoning for probabilistic action systems and while-loops

This page was built for publication: Separation and reduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2721093)