Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285248843> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4285248843 endingPage "692" @default.
- W4285248843 startingPage "674" @default.
- W4285248843 abstract "Contract theories have been proposed to formally support distributed and decentralized system design while ensuring safe system integration. In this paper we propose hypercontracts, a generic model with a richer structure for its underlying model of components, subsuming simulation preorders. While this new model remains generic, it provides a much more elegant and richer algebra for its key notions of refinement, parallel composition, and quotient, and it allows inclusion of new operations. On top of these foundations, we propose conic hypercontracts, which are still generic but come with a finite description." @default.
- W4285248843 created "2022-07-14" @default.
- W4285248843 creator A5032980399 @default.
- W4285248843 creator A5064230639 @default.
- W4285248843 creator A5075584449 @default.
- W4285248843 creator A5088660554 @default.
- W4285248843 date "2022-01-01" @default.
- W4285248843 modified "2023-10-10" @default.
- W4285248843 title "Hypercontracts" @default.
- W4285248843 cites W1513136138 @default.
- W4285248843 cites W1535987901 @default.
- W4285248843 cites W1584394310 @default.
- W4285248843 cites W1667182944 @default.
- W4285248843 cites W1756169151 @default.
- W4285248843 cites W1776738182 @default.
- W4285248843 cites W1838450363 @default.
- W4285248843 cites W1959890433 @default.
- W4285248843 cites W1977764760 @default.
- W4285248843 cites W1994901326 @default.
- W4285248843 cites W2016228303 @default.
- W4285248843 cites W2033978538 @default.
- W4285248843 cites W2048467032 @default.
- W4285248843 cites W2104224153 @default.
- W4285248843 cites W2112659222 @default.
- W4285248843 cites W2293287097 @default.
- W4285248843 cites W2293400264 @default.
- W4285248843 cites W2789981122 @default.
- W4285248843 cites W2889050595 @default.
- W4285248843 cites W2893132739 @default.
- W4285248843 cites W2900573926 @default.
- W4285248843 cites W2966653964 @default.
- W4285248843 cites W3005532965 @default.
- W4285248843 cites W3080122937 @default.
- W4285248843 cites W4205178436 @default.
- W4285248843 cites W4214502634 @default.
- W4285248843 cites W4250728693 @default.
- W4285248843 cites W4286447266 @default.
- W4285248843 doi "https://doi.org/10.1007/978-3-031-06773-0_36" @default.
- W4285248843 hasPublicationYear "2022" @default.
- W4285248843 type Work @default.
- W4285248843 citedByCount "1" @default.
- W4285248843 countsByYear W42852488432022 @default.
- W4285248843 crossrefType "book-chapter" @default.
- W4285248843 hasAuthorship W4285248843A5032980399 @default.
- W4285248843 hasAuthorship W4285248843A5064230639 @default.
- W4285248843 hasAuthorship W4285248843A5075584449 @default.
- W4285248843 hasAuthorship W4285248843A5088660554 @default.
- W4285248843 hasBestOaLocation W42852488433 @default.
- W4285248843 hasConcept C108598597 @default.
- W4285248843 hasConcept C136119220 @default.
- W4285248843 hasConcept C199422724 @default.
- W4285248843 hasConcept C202444582 @default.
- W4285248843 hasConcept C2524010 @default.
- W4285248843 hasConcept C26517878 @default.
- W4285248843 hasConcept C33923547 @default.
- W4285248843 hasConcept C38652104 @default.
- W4285248843 hasConcept C41008148 @default.
- W4285248843 hasConcept C80444323 @default.
- W4285248843 hasConceptScore W4285248843C108598597 @default.
- W4285248843 hasConceptScore W4285248843C136119220 @default.
- W4285248843 hasConceptScore W4285248843C199422724 @default.
- W4285248843 hasConceptScore W4285248843C202444582 @default.
- W4285248843 hasConceptScore W4285248843C2524010 @default.
- W4285248843 hasConceptScore W4285248843C26517878 @default.
- W4285248843 hasConceptScore W4285248843C33923547 @default.
- W4285248843 hasConceptScore W4285248843C38652104 @default.
- W4285248843 hasConceptScore W4285248843C41008148 @default.
- W4285248843 hasConceptScore W4285248843C80444323 @default.
- W4285248843 hasLocation W42852488431 @default.
- W4285248843 hasLocation W42852488432 @default.
- W4285248843 hasLocation W42852488433 @default.
- W4285248843 hasOpenAccess W4285248843 @default.
- W4285248843 hasPrimaryLocation W42852488431 @default.
- W4285248843 hasRelatedWork W2012685253 @default.
- W4285248843 hasRelatedWork W2037437483 @default.
- W4285248843 hasRelatedWork W2373292822 @default.
- W4285248843 hasRelatedWork W2377924059 @default.
- W4285248843 hasRelatedWork W2795378890 @default.
- W4285248843 hasRelatedWork W2804689728 @default.
- W4285248843 hasRelatedWork W2946724620 @default.
- W4285248843 hasRelatedWork W3017139193 @default.
- W4285248843 hasRelatedWork W4300566153 @default.
- W4285248843 hasRelatedWork W4312373254 @default.
- W4285248843 isParatext "false" @default.
- W4285248843 isRetracted "false" @default.
- W4285248843 workType "book-chapter" @default.