Demonic semantics: using monotypes and residuals

DOI10.1155/S016117120420415XzbMath1066.18006OpenAlexW2152458288MaRDI QIDQ1774651

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

operational semanticsdenotational semanticsdemonic semanticsmonotypesrelational flow 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)

Related Items (1)

Nondeterministic semantics of compound diagrams

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