Nondeterministic semantics of compound diagrams

DOI10.3934/DCDSS.2015.8.1357MaRDI QIDQ258605zbMATH OpenOpenAlexFDO

Authors Fairouz Tchier

Publication date 10 March 2016

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

residualsgraphsdemonic semanticsmonotypesrelational compound diagrams

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2069311
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• Relational algebraic semantics of deterministic and nondeterministic programs
• Demonic semantics: using monotypes and residuals
• scientific article; zbMATH DE number 956827

Cites work

• scientific article; zbMATH DE number 1696900 (Why is no real title available?)
• scientific article; zbMATH DE number 3974258 (Why is no real title available?)
• scientific article; zbMATH DE number 4020448 (Why is no real title available?)
• scientific article; zbMATH DE number 3537204 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 475192 (Why is no real title available?)
• scientific article; zbMATH DE number 512961 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 2086738 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• scientific article; zbMATH DE number 3231599 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3070503 (Why is no real title available?)
• A calculational approach to mathematical induction
• A continuous semantics for unbounded nondeterminism
• A generalized control structure and its formal definition
• A lattice-theoretical fixpoint theorem and its applications
• A relational approach to the design of deterministic programs
• A relational division operator: The conjugate kernel
• Combining angels, demons and miracles in program specifications
• Demonic fixed points
• Demonic operational and denotational semantics
• Demonic operators and monotype factors
• Demonic semantics: using monotypes and residuals
• Embedding a demonic semilattice in a relation algebra
• Kleene under a modal demonic star
• Laws of programming
• On the calculus of relations
• On the equivalence and transformation of program schemes
• On the lattice of specifications: Applications to a specification methodology
• Programs as partial graphs. I: Flow equivalence and correctness
• Reductivity
• Relation-algebraic semantics
• Relational Methods in Computer Science
• Relational algebraic semantics of deterministic and nondeterministic programs
• Relational heuristics for the design of deterministic programs
• Semantics with applications: an appetizer.

Cited in

(3)

• scientific article; zbMATH DE number 2086738 (Why is no real title available?)
• scientific article; zbMATH DE number 3943004 (Why is no real title available?)
• scientific article; zbMATH DE number 2069311 (Why is no real title available?)

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

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