Domain and range for angelic and demonic compositions
From MaRDI portal
Publication:1734512
DOI10.1016/j.jlamp.2018.11.002zbMath1417.68033arXiv1811.01712OpenAlexW2898689837WikidataQ128931051 ScholiaQ128931051MaRDI QIDQ1734512
Marcel Jackson, Szabolcs Mikulás
Publication date: 27 March 2019
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1811.01712
General structure theory for semigroups (20M10) Applications of universal algebra in computer science (08A70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Axioms for signatures with domain and demonic composition ⋮ Domain range semigroups and finite representations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On representing semigroups with subsemilattices.
- Axiomatizability of representable domain algebras
- Logical analysis of demonic nondeterministic programs
- The algebra of functions
- The algebra of functions. II
- Algebras of modal operators and partial correctness
- The algebra of functions with antidomain and range
- Semigroups and ordered categories. I: The reduced case
- A completeness theorem for Kleene algebras and the algebra of regular events
- The equational theory of union-free algebras of relations
- Representations of distributive lattice-ordered semigroups with binary relations
- The algebra of functions. III
- Guarded and banded semigroups.
- Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
- Function systems
- Adequate Semigroups
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
- Partial Maps with Domain and Range: Extending Schein's Representation
- Boolean and classical restriction categories
- Domain and Antidomain Semigroups
- γ-demi-groupes, demi-modules, produits demi-directs
- Abundant Semigroups
- A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
- Guarded commands, nondeterminacy and formal derivation of programs
- Demonic operators and monotype factors
- Undecidability of representability as binary relations
- Kleene algebra with domain
- FREE ADEQUATE SEMIGROUPS
- An invitation to \(C\)-semigroups
- Restriction categories. I: Categories of partial maps