Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386875116> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4386875116 abstract "We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide new as well as known operations, and show how these operations are related. Contracts are functorial: any Boolean algebra has an associated contract algebra. We study monoid and semiring structures in contract algebra -- and the mappings between such structures. We discuss the actions of a Boolean algebra on its contract algebra." @default.
- W4386875116 created "2023-09-20" @default.
- W4386875116 creator A5032980399 @default.
- W4386875116 creator A5075584449 @default.
- W4386875116 creator A5088660554 @default.
- W4386875116 date "2023-09-16" @default.
- W4386875116 modified "2023-09-27" @default.
- W4386875116 title "Some Algebraic Aspects of Assume-Guarantee Reasoning" @default.
- W4386875116 doi "https://doi.org/10.48550/arxiv.2309.08875" @default.
- W4386875116 hasPublicationYear "2023" @default.
- W4386875116 type Work @default.
- W4386875116 citedByCount "0" @default.
- W4386875116 crossrefType "posted-content" @default.
- W4386875116 hasAuthorship W4386875116A5032980399 @default.
- W4386875116 hasAuthorship W4386875116A5075584449 @default.
- W4386875116 hasAuthorship W4386875116A5088660554 @default.
- W4386875116 hasBestOaLocation W43868751161 @default.
- W4386875116 hasConcept C10021369 @default.
- W4386875116 hasConcept C118615104 @default.
- W4386875116 hasConcept C134306372 @default.
- W4386875116 hasConcept C136119220 @default.
- W4386875116 hasConcept C14394260 @default.
- W4386875116 hasConcept C182419690 @default.
- W4386875116 hasConcept C188159880 @default.
- W4386875116 hasConcept C202444582 @default.
- W4386875116 hasConcept C206901836 @default.
- W4386875116 hasConcept C207764348 @default.
- W4386875116 hasConcept C21696900 @default.
- W4386875116 hasConcept C33923547 @default.
- W4386875116 hasConcept C39685927 @default.
- W4386875116 hasConcept C41008148 @default.
- W4386875116 hasConcept C45503250 @default.
- W4386875116 hasConcept C81518389 @default.
- W4386875116 hasConcept C9376300 @default.
- W4386875116 hasConceptScore W4386875116C10021369 @default.
- W4386875116 hasConceptScore W4386875116C118615104 @default.
- W4386875116 hasConceptScore W4386875116C134306372 @default.
- W4386875116 hasConceptScore W4386875116C136119220 @default.
- W4386875116 hasConceptScore W4386875116C14394260 @default.
- W4386875116 hasConceptScore W4386875116C182419690 @default.
- W4386875116 hasConceptScore W4386875116C188159880 @default.
- W4386875116 hasConceptScore W4386875116C202444582 @default.
- W4386875116 hasConceptScore W4386875116C206901836 @default.
- W4386875116 hasConceptScore W4386875116C207764348 @default.
- W4386875116 hasConceptScore W4386875116C21696900 @default.
- W4386875116 hasConceptScore W4386875116C33923547 @default.
- W4386875116 hasConceptScore W4386875116C39685927 @default.
- W4386875116 hasConceptScore W4386875116C41008148 @default.
- W4386875116 hasConceptScore W4386875116C45503250 @default.
- W4386875116 hasConceptScore W4386875116C81518389 @default.
- W4386875116 hasConceptScore W4386875116C9376300 @default.
- W4386875116 hasLocation W43868751161 @default.
- W4386875116 hasOpenAccess W4386875116 @default.
- W4386875116 hasPrimaryLocation W43868751161 @default.
- W4386875116 hasRelatedWork W195186921 @default.
- W4386875116 hasRelatedWork W2037090414 @default.
- W4386875116 hasRelatedWork W2064028328 @default.
- W4386875116 hasRelatedWork W2369221237 @default.
- W4386875116 hasRelatedWork W2377302330 @default.
- W4386875116 hasRelatedWork W2377493875 @default.
- W4386875116 hasRelatedWork W254959529 @default.
- W4386875116 hasRelatedWork W2940617399 @default.
- W4386875116 hasRelatedWork W4386875116 @default.
- W4386875116 hasRelatedWork W2740171735 @default.
- W4386875116 isParatext "false" @default.
- W4386875116 isRetracted "false" @default.
- W4386875116 workType "article" @default.