{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T23:06:29Z","timestamp":1781651189244,"version":"3.54.5"},"reference-count":24,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":5572,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1993,12]]},"abstract":"<jats:p>This paper tackles the problem of constructing a compact, point-free proof of the associativity of demonic composition of binary relations and its distributivity through demonic choice. In order to achieve this goal, a definition of demonic composition is proposed in which angelic composition is restricted by means of a so-called \u2018monotype factor\u2019. Monotype factors are characterised by a Galois connection similar to the Galois connection between composition and factorisation of binary relations. The identification of such a connection is argued to be highly conducive to the desired compactness of calculation.<\/jats:p>","DOI":"10.1017\/s096012950000030x","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T09:01:36Z","timestamp":1236157296000},"page":"417-433","source":"Crossref","is-referenced-by-count":41,"title":["Demonic operators and monotype factors"],"prefix":"10.1017","volume":"3","author":[{"given":"Roland","family":"Backhouse","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jaap","family":"van der Woude","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S096012950000030X_ref011","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-67678-9"},{"key":"S096012950000030X_ref001","unstructured":"Backhouse R. C , de Bruin P. , Hoogendijk P. , Malcolm G. , Voermans T. S. and van der Woude J. (1992) Polynomial relators. In: Nivat M. , Rattray C. S. , Rus T. and Scollo G. (eds.) Proceedings of the 2nd Conference on Algebraic Methodology and Software Technology, AMAST'91, Springer-Verlag Workshops in Computing."},{"key":"S096012950000030X_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-16816-8_28"},{"key":"S096012950000030X_ref015","doi-asserted-by":"crossref","first-page":"51","DOI":"10.3233\/FI-1986-9104","article-title":"The weakest prespecification","volume":"9","author":"Hoare","year":"1986","journal-title":"Fundamenta Informaticae"},{"key":"S096012950000030X_ref023","volume-title":"Colloquium Publications","author":"Tarski","year":"1987"},{"key":"S096012950000030X_ref005","unstructured":"Berghammer R. (1991) Relational specification of data types and programs, Bericht 9109, Universit\u00e4t der Bundeswehr M\u00fcnchen, Fakult\u00e4t fur Informatik."},{"key":"S096012950000030X_ref002","first-page":"287","volume-title":"Proceedings of the IFIP TC2\/WG2.1 Working Conference on Constructing Programs","author":"Backhouse","year":"1991"},{"key":"S096012950000030X_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08342-1_5"},{"key":"S096012950000030X_ref004","unstructured":"Backhouse R. C , Voermans T. S. and van der Woude J. (1991b) A relational theory of datatypes. (In preparation: copies of draft available on request.)"},{"key":"S096012950000030X_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(86)90172-6"},{"key":"S096012950000030X_ref007","unstructured":"Birkhoff G. (1948) Lattice Theory (revised edition), American Mathematical Society, Providence, Rhode Isl and."},{"key":"S096012950000030X_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(64)90181-0"},{"key":"S096012950000030X_ref019","doi-asserted-by":"publisher","DOI":"10.1142\/S012905419100008X"},{"key":"S096012950000030X_ref008","volume-title":"Regular algebra and finite machines","author":"Conway","year":"1971"},{"key":"S096012950000030X_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3228-5"},{"key":"S096012950000030X_ref010","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1939-0000230-5"},{"key":"S096012950000030X_ref013","volume-title":"Algebraic Structure Theory of Sequential Machines","author":"Hartmanis","year":"1966"},{"key":"S096012950000030X_ref016","doi-asserted-by":"publisher","DOI":"10.1137\/0206024"},{"key":"S096012950000030X_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18508-9_32"},{"key":"S096012950000030X_ref018","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17162-2_130"},{"key":"S096012950000030X_ref020","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1944-0010555-7"},{"key":"S096012950000030X_ref021","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0018436"},{"key":"S096012950000030X_ref022","unstructured":"Simons M. (1991) Galois connections and pair algebras. (Unpublished draft.)"},{"key":"S096012950000030X_ref024","volume-title":"Lambert Meertens, CWl, Liber Amicorum, 1966\u20131991","author":"van der Woude","year":"1991"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S096012950000030X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,2]],"date-time":"2021-10-02T16:33:46Z","timestamp":1633192426000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S096012950000030X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,12]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1993,12]]}},"alternative-id":["S096012950000030X"],"URL":"https:\/\/doi.org\/10.1017\/s096012950000030x","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,12]]}}}