FRINK Linked Data Fragments server

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

• W2018849883 endingPage "360" @default.
• W2018849883 startingPage "333" @default.
• W2018849883 abstract "We present a refinement ordering between binary relations, viewed as programs or specifications. This ordering induces a complete join semilattice that can be embedded in a relation algebra. This embedding then allows an easy proof of many properties of the refinement semilattice, by making use of the well-known corresponding properties of relation algebras. The operations of the refinement semilattice corresponding to join and composition in the embedding algebra are, respectively, demonic join and demonic composition. The weakest prespecification and postspecification operators of Hoare and He, defined over a relation algebra, also have corresponding operators in the semilattice." @default.
• W2018849883 created "2016-06-24" @default.
• W2018849883 creator A5000109637 @default.
• W2018849883 creator A5014620418 @default.
• W2018849883 creator A5020214722 @default.
• W2018849883 creator A5029988221 @default.
• W2018849883 creator A5053542846 @default.
• W2018849883 creator A5055227257 @default.
• W2018849883 creator A5087794334 @default.
• W2018849883 date "1995-10-01" @default.
• W2018849883 modified "2023-10-03" @default.
• W2018849883 title "Embedding a demonic semilattice in a relation algebra" @default.
• W2018849883 cites W1975551945 @default.
• W2018849883 cites W1982779896 @default.
• W2018849883 cites W2006006495 @default.
• W2018849883 cites W2007225061 @default.
• W2018849883 cites W2012019788 @default.
• W2018849883 cites W2017597203 @default.
• W2018849883 cites W2018849883 @default.
• W2018849883 cites W2035306406 @default.
• W2018849883 cites W2039689198 @default.
• W2018849883 cites W2061116944 @default.
• W2018849883 cites W2071945201 @default.
• W2018849883 cites W2074592031 @default.
• W2018849883 cites W2081706307 @default.
• W2018849883 cites W2093397547 @default.
• W2018849883 cites W2163008980 @default.
• W2018849883 cites W4213427446 @default.
• W2018849883 cites W4244624434 @default.
• W2018849883 doi "https://doi.org/10.1016/0304-3975(94)00271-j" @default.
• W2018849883 hasPublicationYear "1995" @default.
• W2018849883 type Work @default.
• W2018849883 sameAs 2018849883 @default.
• W2018849883 citedByCount "48" @default.
• W2018849883 countsByYear W20188498832012 @default.
• W2018849883 countsByYear W20188498832013 @default.
• W2018849883 countsByYear W20188498832014 @default.
• W2018849883 countsByYear W20188498832015 @default.
• W2018849883 countsByYear W20188498832021 @default.
• W2018849883 countsByYear W20188498832023 @default.
• W2018849883 crossrefType "journal-article" @default.
• W2018849883 hasAuthorship W2018849883A5000109637 @default.
• W2018849883 hasAuthorship W2018849883A5014620418 @default.
• W2018849883 hasAuthorship W2018849883A5020214722 @default.
• W2018849883 hasAuthorship W2018849883A5029988221 @default.
• W2018849883 hasAuthorship W2018849883A5053542846 @default.
• W2018849883 hasAuthorship W2018849883A5055227257 @default.
• W2018849883 hasAuthorship W2018849883A5087794334 @default.
• W2018849883 hasConcept C100899422 @default.
• W2018849883 hasConcept C10282146 @default.
• W2018849883 hasConcept C114614502 @default.
• W2018849883 hasConcept C118615104 @default.
• W2018849883 hasConcept C132170107 @default.
• W2018849883 hasConcept C136119220 @default.
• W2018849883 hasConcept C14394260 @default.
• W2018849883 hasConcept C154945302 @default.
• W2018849883 hasConcept C202444582 @default.
• W2018849883 hasConcept C207405024 @default.
• W2018849883 hasConcept C25343380 @default.
• W2018849883 hasConcept C2776124973 @default.
• W2018849883 hasConcept C33923547 @default.
• W2018849883 hasConcept C41008148 @default.
• W2018849883 hasConcept C41608201 @default.
• W2018849883 hasConcept C65180967 @default.
• W2018849883 hasConcept C77088390 @default.
• W2018849883 hasConceptScore W2018849883C100899422 @default.
• W2018849883 hasConceptScore W2018849883C10282146 @default.
• W2018849883 hasConceptScore W2018849883C114614502 @default.
• W2018849883 hasConceptScore W2018849883C118615104 @default.
• W2018849883 hasConceptScore W2018849883C132170107 @default.
• W2018849883 hasConceptScore W2018849883C136119220 @default.
• W2018849883 hasConceptScore W2018849883C14394260 @default.
• W2018849883 hasConceptScore W2018849883C154945302 @default.
• W2018849883 hasConceptScore W2018849883C202444582 @default.
• W2018849883 hasConceptScore W2018849883C207405024 @default.
• W2018849883 hasConceptScore W2018849883C25343380 @default.
• W2018849883 hasConceptScore W2018849883C2776124973 @default.
• W2018849883 hasConceptScore W2018849883C33923547 @default.
• W2018849883 hasConceptScore W2018849883C41008148 @default.
• W2018849883 hasConceptScore W2018849883C41608201 @default.
• W2018849883 hasConceptScore W2018849883C65180967 @default.
• W2018849883 hasConceptScore W2018849883C77088390 @default.
• W2018849883 hasIssue "2" @default.
• W2018849883 hasLocation W20188498831 @default.
• W2018849883 hasOpenAccess W2018849883 @default.
• W2018849883 hasPrimaryLocation W20188498831 @default.
• W2018849883 hasRelatedWork W1494710625 @default.
• W2018849883 hasRelatedWork W1978606295 @default.
• W2018849883 hasRelatedWork W2018849883 @default.
• W2018849883 hasRelatedWork W2164029925 @default.
• W2018849883 hasRelatedWork W2907549912 @default.
• W2018849883 hasRelatedWork W3006599641 @default.
• W2018849883 hasRelatedWork W4317623251 @default.
• W2018849883 hasRelatedWork W54721420 @default.
• W2018849883 hasRelatedWork W63408870 @default.
• W2018849883 hasRelatedWork W95970106 @default.
• W2018849883 hasVolume "149" @default.
• W2018849883 isParatext "false" @default.

• next