FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3088488008> ?p ?o ?g. }

• W3088488008 abstract "Demonic composition, demonic refinement and demonic union are alternatives to the usual composition, angelic refinement (inclusion) and angelic (usual) union defined on binary relations. We first motivate both the angelic and demonic via an analysis of the behaviour of non-deterministic programs, with the angelic associated with partial correctness and demonic with total correctness, both cases emerging from a richer algebraic model of non-deterministic programs incorporating both aspects. Zareckii has shown that the isomorphism class of algebras of binary relations under angelic composition and inclusion is finitely axiomatised as the class of ordered semigroups. The proof can be used to establish that the same axiomatisation applies to binary relations under demonic composition and refinement, and a further modification of the proof can be used to incorporate a zero element representing the empty relation in the angelic case and the full relation in the demonic case. For the signature of angelic composition and union, it is known that no finite axiomatisation exists, and we show the analogous result for demonic composition and demonic union by showing that the same axiomatisation holds for both. We show that the isomorphism class of algebras of binary relations with the mixed signature of demonic composition and angelic inclusion has no finite axiomatisation. As a contrast, we show that the isomorphism class of partial algebras of binary relations with the partial operation of constellation product and inclusion (also a mixed signature) is finitely axiomatisable." @default.
• W3088488008 created "2020-10-01" @default.
• W3088488008 creator A5009832059 @default.
• W3088488008 creator A5012636172 @default.
• W3088488008 creator A5027252348 @default.
• W3088488008 date "2020-09-25" @default.
• W3088488008 modified "2023-09-27" @default.
• W3088488008 title "The algebra of non-deterministic programs: demonic operators, orders and axioms" @default.
• W3088488008 cites W1580101121 @default.
• W3088488008 cites W1766553653 @default.
• W3088488008 cites W1949938974 @default.
• W3088488008 cites W1974285328 @default.
• W3088488008 cites W1999783127 @default.
• W3088488008 cites W2059559554 @default.
• W3088488008 cites W2076964487 @default.
• W3088488008 cites W2157785961 @default.
• W3088488008 cites W3138845629 @default.
• W3088488008 hasPublicationYear "2020" @default.
• W3088488008 type Work @default.
• W3088488008 sameAs 3088488008 @default.
• W3088488008 citedByCount "3" @default.
• W3088488008 countsByYear W30884880082021 @default.
• W3088488008 crossrefType "posted-content" @default.
• W3088488008 hasAuthorship W3088488008A5009832059 @default.
• W3088488008 hasAuthorship W3088488008A5012636172 @default.
• W3088488008 hasAuthorship W3088488008A5027252348 @default.
• W3088488008 hasConcept C11413529 @default.
• W3088488008 hasConcept C115624301 @default.
• W3088488008 hasConcept C118615104 @default.
• W3088488008 hasConcept C120665830 @default.
• W3088488008 hasConcept C121332964 @default.
• W3088488008 hasConcept C136119220 @default.
• W3088488008 hasConcept C138885662 @default.
• W3088488008 hasConcept C154945302 @default.
• W3088488008 hasConcept C167729594 @default.
• W3088488008 hasConcept C185592680 @default.
• W3088488008 hasConcept C202444582 @default.
• W3088488008 hasConcept C203436722 @default.
• W3088488008 hasConcept C2524010 @default.
• W3088488008 hasConcept C25343380 @default.
• W3088488008 hasConcept C2777212361 @default.
• W3088488008 hasConcept C2779696439 @default.
• W3088488008 hasConcept C2780841128 @default.
• W3088488008 hasConcept C33923547 @default.
• W3088488008 hasConcept C40231798 @default.
• W3088488008 hasConcept C41008148 @default.
• W3088488008 hasConcept C41895202 @default.
• W3088488008 hasConcept C55439883 @default.
• W3088488008 hasConcept C65180967 @default.
• W3088488008 hasConcept C77088390 @default.
• W3088488008 hasConcept C8010536 @default.
• W3088488008 hasConceptScore W3088488008C11413529 @default.
• W3088488008 hasConceptScore W3088488008C115624301 @default.
• W3088488008 hasConceptScore W3088488008C118615104 @default.
• W3088488008 hasConceptScore W3088488008C120665830 @default.
• W3088488008 hasConceptScore W3088488008C121332964 @default.
• W3088488008 hasConceptScore W3088488008C136119220 @default.
• W3088488008 hasConceptScore W3088488008C138885662 @default.
• W3088488008 hasConceptScore W3088488008C154945302 @default.
• W3088488008 hasConceptScore W3088488008C167729594 @default.
• W3088488008 hasConceptScore W3088488008C185592680 @default.
• W3088488008 hasConceptScore W3088488008C202444582 @default.
• W3088488008 hasConceptScore W3088488008C203436722 @default.
• W3088488008 hasConceptScore W3088488008C2524010 @default.
• W3088488008 hasConceptScore W3088488008C25343380 @default.
• W3088488008 hasConceptScore W3088488008C2777212361 @default.
• W3088488008 hasConceptScore W3088488008C2779696439 @default.
• W3088488008 hasConceptScore W3088488008C2780841128 @default.
• W3088488008 hasConceptScore W3088488008C33923547 @default.
• W3088488008 hasConceptScore W3088488008C40231798 @default.
• W3088488008 hasConceptScore W3088488008C41008148 @default.
• W3088488008 hasConceptScore W3088488008C41895202 @default.
• W3088488008 hasConceptScore W3088488008C55439883 @default.
• W3088488008 hasConceptScore W3088488008C65180967 @default.
• W3088488008 hasConceptScore W3088488008C77088390 @default.
• W3088488008 hasConceptScore W3088488008C8010536 @default.
• W3088488008 hasLocation W30884880081 @default.
• W3088488008 hasOpenAccess W3088488008 @default.
• W3088488008 hasPrimaryLocation W30884880081 @default.
• W3088488008 hasRelatedWork W1511110335 @default.
• W3088488008 hasRelatedWork W1550713027 @default.
• W3088488008 hasRelatedWork W1999780552 @default.
• W3088488008 hasRelatedWork W2011173527 @default.
• W3088488008 hasRelatedWork W2056240511 @default.
• W3088488008 hasRelatedWork W2065381138 @default.
• W3088488008 hasRelatedWork W2068280300 @default.
• W3088488008 hasRelatedWork W2123382168 @default.
• W3088488008 hasRelatedWork W2148757596 @default.
• W3088488008 hasRelatedWork W2799398422 @default.
• W3088488008 hasRelatedWork W2882677335 @default.
• W3088488008 hasRelatedWork W2886737850 @default.
• W3088488008 hasRelatedWork W2963043115 @default.
• W3088488008 hasRelatedWork W2963903041 @default.
• W3088488008 hasRelatedWork W2982219946 @default.
• W3088488008 hasRelatedWork W3084978857 @default.
• W3088488008 hasRelatedWork W3086477246 @default.
• W3088488008 hasRelatedWork W3161332586 @default.
• W3088488008 hasRelatedWork W46493744 @default.
• W3088488008 hasRelatedWork W801893201 @default.
• W3088488008 isParatext "false" @default.

• next