FRINK Linked Data Fragments server

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

• W2616899516 endingPage "137" @default.
• W2616899516 startingPage "119" @default.
• W2616899516 abstract "Behavioral contracts are abstract descriptions of the communications that clients and servers perform. Behavioral contracts come naturally equipped with a notion of compliance: when a client and a server follow compliant contracts, their interaction is guaranteed to progress or successfully complete. We study two extensions of contracts, dealing respectively with backtracking and with speculative execution. We show that the two extensions give rise to the same notion of compliance. As a consequence, they also give rise to the same subcontract relation, which determines when one server can be replaced by another preserving compliance. Moreover, compliance and subcontract relation are both decidable in polynomial time." @default.
• W2616899516 created "2017-06-05" @default.
• W2616899516 creator A5020561481 @default.
• W2616899516 creator A5030878839 @default.
• W2616899516 creator A5040202788 @default.
• W2616899516 date "2017-01-01" @default.
• W2616899516 modified "2023-10-03" @default.
• W2616899516 title "Retractable and Speculative Contracts" @default.
• W2616899516 cites W1497640022 @default.
• W2616899516 cites W1497860901 @default.
• W2616899516 cites W1544276271 @default.
• W2616899516 cites W1585111997 @default.
• W2616899516 cites W1602135812 @default.
• W2616899516 cites W1673934254 @default.
• W2616899516 cites W1784055113 @default.
• W2616899516 cites W1923495615 @default.
• W2616899516 cites W1976533090 @default.
• W2616899516 cites W2025971955 @default.
• W2616899516 cites W2032399648 @default.
• W2616899516 cites W2044253415 @default.
• W2616899516 cites W2059141487 @default.
• W2616899516 cites W2062339792 @default.
• W2616899516 cites W2062792908 @default.
• W2616899516 cites W2110010771 @default.
• W2616899516 cites W2126641514 @default.
• W2616899516 cites W2131770667 @default.
• W2616899516 cites W2145071552 @default.
• W2616899516 cites W2147148915 @default.
• W2616899516 cites W2155410188 @default.
• W2616899516 cites W2284037492 @default.
• W2616899516 cites W2303035549 @default.
• W2616899516 cites W2329205359 @default.
• W2616899516 cites W2471332314 @default.
• W2616899516 cites W2481009869 @default.
• W2616899516 cites W2913923693 @default.
• W2616899516 cites W3008328790 @default.
• W2616899516 cites W3023640095 @default.
• W2616899516 cites W3037738861 @default.
• W2616899516 cites W990735024 @default.
• W2616899516 doi "https://doi.org/10.1007/978-3-319-59746-1_7" @default.
• W2616899516 hasPublicationYear "2017" @default.
• W2616899516 type Work @default.
• W2616899516 sameAs 2616899516 @default.
• W2616899516 citedByCount "3" @default.
• W2616899516 countsByYear W26168995162017 @default.
• W2616899516 countsByYear W26168995162020 @default.
• W2616899516 countsByYear W26168995162023 @default.
• W2616899516 crossrefType "book-chapter" @default.
• W2616899516 hasAuthorship W2616899516A5020561481 @default.
• W2616899516 hasAuthorship W2616899516A5030878839 @default.
• W2616899516 hasAuthorship W2616899516A5040202788 @default.
• W2616899516 hasBestOaLocation W26168995162 @default.
• W2616899516 hasConcept C111919701 @default.
• W2616899516 hasConcept C120314980 @default.
• W2616899516 hasConcept C153269930 @default.
• W2616899516 hasConcept C156884757 @default.
• W2616899516 hasConcept C15744967 @default.
• W2616899516 hasConcept C199360897 @default.
• W2616899516 hasConcept C25343380 @default.
• W2616899516 hasConcept C2781460075 @default.
• W2616899516 hasConcept C38652104 @default.
• W2616899516 hasConcept C41008148 @default.
• W2616899516 hasConcept C77088390 @default.
• W2616899516 hasConcept C77805123 @default.
• W2616899516 hasConcept C80444323 @default.
• W2616899516 hasConcept C93996380 @default.
• W2616899516 hasConceptScore W2616899516C111919701 @default.
• W2616899516 hasConceptScore W2616899516C120314980 @default.
• W2616899516 hasConceptScore W2616899516C153269930 @default.
• W2616899516 hasConceptScore W2616899516C156884757 @default.
• W2616899516 hasConceptScore W2616899516C15744967 @default.
• W2616899516 hasConceptScore W2616899516C199360897 @default.
• W2616899516 hasConceptScore W2616899516C25343380 @default.
• W2616899516 hasConceptScore W2616899516C2781460075 @default.
• W2616899516 hasConceptScore W2616899516C38652104 @default.
• W2616899516 hasConceptScore W2616899516C41008148 @default.
• W2616899516 hasConceptScore W2616899516C77088390 @default.
• W2616899516 hasConceptScore W2616899516C77805123 @default.
• W2616899516 hasConceptScore W2616899516C80444323 @default.
• W2616899516 hasConceptScore W2616899516C93996380 @default.
• W2616899516 hasLocation W26168995161 @default.
• W2616899516 hasLocation W26168995162 @default.
• W2616899516 hasLocation W26168995163 @default.
• W2616899516 hasLocation W26168995164 @default.
• W2616899516 hasOpenAccess W2616899516 @default.
• W2616899516 hasPrimaryLocation W26168995161 @default.
• W2616899516 hasRelatedWork W1485627940 @default.
• W2616899516 hasRelatedWork W1583717361 @default.
• W2616899516 hasRelatedWork W1596201972 @default.
• W2616899516 hasRelatedWork W1995509029 @default.
• W2616899516 hasRelatedWork W2118449739 @default.
• W2616899516 hasRelatedWork W2152433827 @default.
• W2616899516 hasRelatedWork W2160425906 @default.
• W2616899516 hasRelatedWork W2520463294 @default.
• W2616899516 hasRelatedWork W2616899516 @default.
• W2616899516 hasRelatedWork W2885613751 @default.
• W2616899516 isParatext "false" @default.
• W2616899516 isRetracted "false" @default.

• next