Matches in SemOpenAlex for { <https://semopenalex.org/work/W3037738861> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3037738861 endingPage "72" @default.
- W3037738861 startingPage "61" @default.
- W3037738861 abstract "In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agreement between the communicating parties. If the interaction fails, the past agreements are good candidates as points where to roll back, in order to take a different agreement. We propose a variant of contracts with synchronous rollbacks to agreement points in case of deadlock. The new calculus is equipped with a compliance relation which is shown to be decidable." @default.
- W3037738861 created "2020-07-02" @default.
- W3037738861 creator A5020561481 @default.
- W3037738861 creator A5030878839 @default.
- W3037738861 creator A5040202788 @default.
- W3037738861 creator A5053585862 @default.
- W3037738861 date "2016-02-10" @default.
- W3037738861 modified "2023-09-24" @default.
- W3037738861 title "Retractable Contracts" @default.
- W3037738861 cites W1497640022 @default.
- W3037738861 cites W1515127800 @default.
- W3037738861 cites W1557052422 @default.
- W3037738861 cites W1585111997 @default.
- W3037738861 cites W2025971955 @default.
- W3037738861 cites W2032399648 @default.
- W3037738861 cites W2044253415 @default.
- W3037738861 cites W2059141487 @default.
- W3037738861 cites W2062792908 @default.
- W3037738861 cites W2110010771 @default.
- W3037738861 cites W2126641514 @default.
- W3037738861 cites W27177897 @default.
- W3037738861 cites W2913923693 @default.
- W3037738861 cites W3008328790 @default.
- W3037738861 doi "https://doi.org/10.4204/eptcs.203.5" @default.
- W3037738861 hasPublicationYear "2016" @default.
- W3037738861 type Work @default.
- W3037738861 sameAs 3037738861 @default.
- W3037738861 citedByCount "11" @default.
- W3037738861 countsByYear W30377388612015 @default.
- W3037738861 countsByYear W30377388612016 @default.
- W3037738861 countsByYear W30377388612017 @default.
- W3037738861 countsByYear W30377388612019 @default.
- W3037738861 countsByYear W30377388612020 @default.
- W3037738861 countsByYear W30377388612023 @default.
- W3037738861 crossrefType "journal-article" @default.
- W3037738861 hasAuthorship W3037738861A5020561481 @default.
- W3037738861 hasAuthorship W3037738861A5030878839 @default.
- W3037738861 hasAuthorship W3037738861A5040202788 @default.
- W3037738861 hasAuthorship W3037738861A5053585862 @default.
- W3037738861 hasBestOaLocation W30377388611 @default.
- W3037738861 hasConcept C10138342 @default.
- W3037738861 hasConcept C120314980 @default.
- W3037738861 hasConcept C124101348 @default.
- W3037738861 hasConcept C124952713 @default.
- W3037738861 hasConcept C142362112 @default.
- W3037738861 hasConcept C144133560 @default.
- W3037738861 hasConcept C153269930 @default.
- W3037738861 hasConcept C159023740 @default.
- W3037738861 hasConcept C182306322 @default.
- W3037738861 hasConcept C25343380 @default.
- W3037738861 hasConcept C2780980858 @default.
- W3037738861 hasConcept C41008148 @default.
- W3037738861 hasConcept C80444323 @default.
- W3037738861 hasConceptScore W3037738861C10138342 @default.
- W3037738861 hasConceptScore W3037738861C120314980 @default.
- W3037738861 hasConceptScore W3037738861C124101348 @default.
- W3037738861 hasConceptScore W3037738861C124952713 @default.
- W3037738861 hasConceptScore W3037738861C142362112 @default.
- W3037738861 hasConceptScore W3037738861C144133560 @default.
- W3037738861 hasConceptScore W3037738861C153269930 @default.
- W3037738861 hasConceptScore W3037738861C159023740 @default.
- W3037738861 hasConceptScore W3037738861C182306322 @default.
- W3037738861 hasConceptScore W3037738861C25343380 @default.
- W3037738861 hasConceptScore W3037738861C2780980858 @default.
- W3037738861 hasConceptScore W3037738861C41008148 @default.
- W3037738861 hasConceptScore W3037738861C80444323 @default.
- W3037738861 hasLocation W30377388611 @default.
- W3037738861 hasLocation W30377388612 @default.
- W3037738861 hasLocation W30377388613 @default.
- W3037738861 hasOpenAccess W3037738861 @default.
- W3037738861 hasPrimaryLocation W30377388611 @default.
- W3037738861 hasRelatedWork W1587227328 @default.
- W3037738861 hasRelatedWork W1596201972 @default.
- W3037738861 hasRelatedWork W1596615495 @default.
- W3037738861 hasRelatedWork W1967954938 @default.
- W3037738861 hasRelatedWork W2000227345 @default.
- W3037738861 hasRelatedWork W2001280955 @default.
- W3037738861 hasRelatedWork W2160425906 @default.
- W3037738861 hasRelatedWork W2314328290 @default.
- W3037738861 hasRelatedWork W2998813341 @default.
- W3037738861 hasRelatedWork W3037738861 @default.
- W3037738861 hasVolume "203" @default.
- W3037738861 isParatext "false" @default.
- W3037738861 isRetracted "false" @default.
- W3037738861 magId "3037738861" @default.
- W3037738861 workType "article" @default.