Demonic semantics: using monotypes and residuals

DOI10.1155/S016117120420415XMaRDI QIDQ1774651zbMATH OpenOpenAlexFDO

Authors Fairouz Tchier

Publication date 18 May 2005

Published in International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/51438

zbMATH Keywords

demonic semanticsdenotational semanticsmonotypesoperational semanticsrelational flow 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

• Demonic operational and denotational semantics
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• scientific article; zbMATH DE number 2069311
• scientific article; zbMATH DE number 1696900
• The algebra of non-deterministic programs: demonic operations, orders and axioms

Cited in

(8)

• How to generalise demonic composition
• Nondeterministic semantics of compound diagrams
• scientific article; zbMATH DE number 1696900 (Why is no real title available?)
• Demonic operational and denotational semantics
• scientific article; zbMATH DE number 2069311 (Why is no real title available?)
• scientific article; zbMATH DE number 1788307 (Why is no real title available?)
• The algebra of non-deterministic programs: demonic operations, orders and axioms
• Demonic fixed points

This page was built for publication: Demonic semantics: using monotypes and residuals

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