{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T16:02:04Z","timestamp":1772294524719,"version":"3.50.1"},"reference-count":0,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Mathematics and Mathematical Sciences"],"published-print":{"date-parts":[[2004,1]]},"abstract":"<jats:p>Relations and relational operators can be used to define the\nsemantics of programming languages. The\noperations \u2228 and \u2218 serve to give <jats:italic>angelic \nsemantics<\/jats:italic> by defining a program to go right when there is a\npossibility to go right. On the other\nhand, the demonic\noperations \u2294 and \u25a1\ndo the opposite: if there is a possibility to go wrong, a program\nwhose semantics is given by these operators will go wrong; it is\nthe <jats:italic>demonic semantics<\/jats:italic>. This type of semantics is known at\nleast since Dijkstra\u2032s introduction  of the  language of guarded\ncommands. Recently, there has been a growing interest in demonic\nrelational semantics of sequential programs. Usually, a construct\nis given an  ad hoc  semantic definition based on an intuitive\nunderstanding of its behavior. In this note,\nwe show how the notion of <jats:italic>relational flow diagram<\/jats:italic>\n(essentially a matrix whose entries are relations on the set of\nstates of the program), introduced by Schmidt, can be used to\ngive a single demonic definition for a wide range of programming\nconstructs. This research had originally been carried out by\nJ. Desharnais and F. Tchier  (1996)  in the\nsame framework of the binary homogeneous relations. We show that\nall the results can be generalized by using the monotypes and the\nresiduals introduced by Desharnais et al. (2000).<\/jats:p>","DOI":"10.1155\/s016117120420415x","type":"journal-article","created":{"date-parts":[[2004,1,22]],"date-time":"2004-01-22T17:20:42Z","timestamp":1074792042000},"page":"135-160","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Demonic semantics: using monotypes and residuals"],"prefix":"10.1155","volume":"2004","author":[{"given":"F.","family":"Tchier","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2004,1,22]]},"container-title":["International Journal of Mathematics and Mathematical Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/ijmms\/2004\/764823.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1155\/S016117120420415X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T04:43:24Z","timestamp":1723092204000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1155\/S016117120420415X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,1]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,1]]}},"alternative-id":["10.1155\/S016117120420415X"],"URL":"https:\/\/doi.org\/10.1155\/s016117120420415x","archive":["Portico"],"relation":{},"ISSN":["0161-1712","1687-0425"],"issn-type":[{"value":"0161-1712","type":"print"},{"value":"1687-0425","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,1]]},"assertion":[{"value":"2002-04-13","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2004-01-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}