Nondeterministic semantics of compound diagrams
DOI10.3934/DCDSS.2015.8.1357zbMATH Open1338.18021OpenAlexW2526041411MaRDI QIDQ258605FDOQ258605
Authors: 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
Recommendations
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)
Cites Work
- 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
- Title not available (Why is that?)
- On the equivalence and transformation of program schemes
- Demonic operational and denotational semantics
- A generalized control structure and its formal definition
- Title not available (Why is that?)
- Title not available (Why is that?)
- Laws of programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Demonic operators and monotype factors
- Title not available (Why is that?)
- Relational Methods in Computer Science
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Demonic fixed points
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the calculus of relations
- Title not available (Why is that?)
- Embedding a demonic semilattice in a relation algebra
- Kleene under a modal demonic star
- Semantics with applications: an appetizer.
Cited In (3)
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)
