Matches in SemOpenAlex for { <https://semopenalex.org/work/W2295198353> ?p ?o ?g. }
- W2295198353 endingPage "121" @default.
- W2295198353 startingPage "103" @default.
- W2295198353 abstract "Behavioural contracts are formal specifications of interaction protocols between two or more distributed services. Despite the heterogeneous nature of the formalisms for behavioural contracts that have appeared in the literature, most of them feature a notion of compliance, which characterises when two or more contracts lead to correct interactions between services respecting them. We discuss and compare a selection of these notions in four different models of contracts: $$tau $$ -less CCS, session types, interface automata, and contract automata." @default.
- W2295198353 created "2016-06-24" @default.
- W2295198353 creator A5003560156 @default.
- W2295198353 creator A5025088063 @default.
- W2295198353 creator A5050606239 @default.
- W2295198353 date "2015-01-01" @default.
- W2295198353 modified "2023-10-14" @default.
- W2295198353 title "Compliance in Behavioural Contracts: A Brief Survey" @default.
- W2295198353 cites W1037217746 @default.
- W2295198353 cites W114044564 @default.
- W2295198353 cites W1261671639 @default.
- W2295198353 cites W1418386931 @default.
- W2295198353 cites W1479802880 @default.
- W2295198353 cites W1488556964 @default.
- W2295198353 cites W1497033526 @default.
- W2295198353 cites W1497860901 @default.
- W2295198353 cites W1544276271 @default.
- W2295198353 cites W1580304509 @default.
- W2295198353 cites W1580316006 @default.
- W2295198353 cites W1582827681 @default.
- W2295198353 cites W1582848254 @default.
- W2295198353 cites W1590277927 @default.
- W2295198353 cites W1596624847 @default.
- W2295198353 cites W1784055113 @default.
- W2295198353 cites W1792109404 @default.
- W2295198353 cites W18866292 @default.
- W2295198353 cites W1982584608 @default.
- W2295198353 cites W1991069274 @default.
- W2295198353 cites W2025970201 @default.
- W2295198353 cites W2032399648 @default.
- W2295198353 cites W2040008220 @default.
- W2295198353 cites W2052052450 @default.
- W2295198353 cites W2062792908 @default.
- W2295198353 cites W2084941942 @default.
- W2295198353 cites W2088962847 @default.
- W2295198353 cites W2099729591 @default.
- W2295198353 cites W2104477831 @default.
- W2295198353 cites W2119992090 @default.
- W2295198353 cites W2136170403 @default.
- W2295198353 cites W2139204893 @default.
- W2295198353 cites W2141403180 @default.
- W2295198353 cites W2141708104 @default.
- W2295198353 cites W2145301674 @default.
- W2295198353 cites W2157144873 @default.
- W2295198353 cites W2164834097 @default.
- W2295198353 cites W2210677409 @default.
- W2295198353 cites W27177897 @default.
- W2295198353 cites W2911862439 @default.
- W2295198353 cites W2913931721 @default.
- W2295198353 cites W2963882833 @default.
- W2295198353 cites W3008328790 @default.
- W2295198353 cites W3009331296 @default.
- W2295198353 cites W3037738861 @default.
- W2295198353 cites W3147575520 @default.
- W2295198353 cites W4244728546 @default.
- W2295198353 cites W4247054682 @default.
- W2295198353 cites W91113134 @default.
- W2295198353 cites W990735024 @default.
- W2295198353 doi "https://doi.org/10.1007/978-3-319-25527-9_9" @default.
- W2295198353 hasPublicationYear "2015" @default.
- W2295198353 type Work @default.
- W2295198353 sameAs 2295198353 @default.
- W2295198353 citedByCount "20" @default.
- W2295198353 countsByYear W22951983532015 @default.
- W2295198353 countsByYear W22951983532016 @default.
- W2295198353 countsByYear W22951983532017 @default.
- W2295198353 countsByYear W22951983532018 @default.
- W2295198353 countsByYear W22951983532019 @default.
- W2295198353 countsByYear W22951983532020 @default.
- W2295198353 countsByYear W22951983532021 @default.
- W2295198353 countsByYear W22951983532022 @default.
- W2295198353 countsByYear W22951983532023 @default.
- W2295198353 crossrefType "book-chapter" @default.
- W2295198353 hasAuthorship W2295198353A5003560156 @default.
- W2295198353 hasAuthorship W2295198353A5025088063 @default.
- W2295198353 hasAuthorship W2295198353A5050606239 @default.
- W2295198353 hasBestOaLocation W22951983532 @default.
- W2295198353 hasConcept C111919701 @default.
- W2295198353 hasConcept C112505250 @default.
- W2295198353 hasConcept C113843644 @default.
- W2295198353 hasConcept C129307140 @default.
- W2295198353 hasConcept C136764020 @default.
- W2295198353 hasConcept C15744967 @default.
- W2295198353 hasConcept C157915830 @default.
- W2295198353 hasConcept C171018156 @default.
- W2295198353 hasConcept C2524010 @default.
- W2295198353 hasConcept C2779182362 @default.
- W2295198353 hasConcept C2781460075 @default.
- W2295198353 hasConcept C33923547 @default.
- W2295198353 hasConcept C41008148 @default.
- W2295198353 hasConcept C77805123 @default.
- W2295198353 hasConcept C80444323 @default.
- W2295198353 hasConceptScore W2295198353C111919701 @default.
- W2295198353 hasConceptScore W2295198353C112505250 @default.
- W2295198353 hasConceptScore W2295198353C113843644 @default.
- W2295198353 hasConceptScore W2295198353C129307140 @default.
- W2295198353 hasConceptScore W2295198353C136764020 @default.
- W2295198353 hasConceptScore W2295198353C15744967 @default.