Nondeterministic semantics of compound diagrams

DOI10.3934/dcdss.2015.8.1357zbMath1338.18021OpenAlexW2526041411MaRDI QIDQ258605

Fairouz Tchier

Publication date: 10 March 2016

Published in: Discrete and Continuous Dynamical Systems. Series S (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3934/dcdss.2015.8.1357

zbMATH Keywords

graphsresidualsdemonic semanticsmonotypesrelational compound diagrams

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10) Continuous lattices and posets, applications (06B35) Categorical semantics of formal languages (18C50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Embedding a demonic semilattice in a relation algebra
• Kleene under a modal demonic star
• Semantics with applications: an appetizer.
• Relational heuristics for the design of deterministic programs
• Relational algebraic semantics of deterministic and nondeterministic programs
• Programs as partial graphs. I: Flow equivalence and correctness
• A continuous semantics for unbounded nondeterminism
• Combining angels, demons and miracles in program specifications
• On the lattice of specifications: Applications to a specification methodology
• Relation-algebraic semantics
• A calculational approach to mathematical induction
• Demonic semantics: using monotypes and residuals
• A relational approach to the design of deterministic programs
• Reductivity
• A relational division operator: The conjugate kernel
• A lattice-theoretical fixpoint theorem and its applications
• On the equivalence and transformation of program schemes
• A generalized control structure and its formal definition
• Laws of programming
• Demonic operators and monotype factors
• Relational Methods in Computer Science
• On the calculus of relations

This page was built for publication: Nondeterministic semantics of compound diagrams