Matches in SemOpenAlex for { <https://semopenalex.org/work/W3147575520> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3147575520 endingPage "27" @default.
- W3147575520 startingPage "9" @default.
- W3147575520 abstract "Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compatibility between clients and servers that ensures that every possible interaction between compatible clients and servers will complete successfully. It is generally agreed that real applications often require the ability of exposing just partial descriptions of their behaviors, which are usually known as abstract processes. We propose a formal characterization of abstraction as an extension of the usual symbolic bisimulation and we recover the notion of abstraction in the context of contracts." @default.
- W3147575520 created "2021-04-13" @default.
- W3147575520 creator A5022494285 @default.
- W3147575520 creator A5022685369 @default.
- W3147575520 date "2011-01-22" @default.
- W3147575520 modified "2023-09-30" @default.
- W3147575520 title "Contracts for Abstract Processes in Service Composition" @default.
- W3147575520 cites W1497524189 @default.
- W3147575520 cites W1497860901 @default.
- W3147575520 cites W1941373452 @default.
- W3147575520 cites W1997454380 @default.
- W3147575520 cites W2088962847 @default.
- W3147575520 cites W2109568634 @default.
- W3147575520 cites W2157144873 @default.
- W3147575520 cites W2167928477 @default.
- W3147575520 cites W2169141278 @default.
- W3147575520 cites W2913663755 @default.
- W3147575520 doi "https://doi.org/10.4204/eptcs.46.2" @default.
- W3147575520 hasPublicationYear "2011" @default.
- W3147575520 type Work @default.
- W3147575520 sameAs 3147575520 @default.
- W3147575520 citedByCount "1" @default.
- W3147575520 countsByYear W31475755202015 @default.
- W3147575520 crossrefType "journal-article" @default.
- W3147575520 hasAuthorship W3147575520A5022494285 @default.
- W3147575520 hasAuthorship W3147575520A5022685369 @default.
- W3147575520 hasBestOaLocation W31475755201 @default.
- W3147575520 hasConcept C111472728 @default.
- W3147575520 hasConcept C124304363 @default.
- W3147575520 hasConcept C127413603 @default.
- W3147575520 hasConcept C135315306 @default.
- W3147575520 hasConcept C136764020 @default.
- W3147575520 hasConcept C138885662 @default.
- W3147575520 hasConcept C144133560 @default.
- W3147575520 hasConcept C151730666 @default.
- W3147575520 hasConcept C162853370 @default.
- W3147575520 hasConcept C199360897 @default.
- W3147575520 hasConcept C2778029271 @default.
- W3147575520 hasConcept C2778648169 @default.
- W3147575520 hasConcept C2779343474 @default.
- W3147575520 hasConcept C2780378061 @default.
- W3147575520 hasConcept C2985583900 @default.
- W3147575520 hasConcept C35578498 @default.
- W3147575520 hasConcept C41008148 @default.
- W3147575520 hasConcept C42360764 @default.
- W3147575520 hasConcept C80444323 @default.
- W3147575520 hasConcept C86803240 @default.
- W3147575520 hasConcept C93996380 @default.
- W3147575520 hasConceptScore W3147575520C111472728 @default.
- W3147575520 hasConceptScore W3147575520C124304363 @default.
- W3147575520 hasConceptScore W3147575520C127413603 @default.
- W3147575520 hasConceptScore W3147575520C135315306 @default.
- W3147575520 hasConceptScore W3147575520C136764020 @default.
- W3147575520 hasConceptScore W3147575520C138885662 @default.
- W3147575520 hasConceptScore W3147575520C144133560 @default.
- W3147575520 hasConceptScore W3147575520C151730666 @default.
- W3147575520 hasConceptScore W3147575520C162853370 @default.
- W3147575520 hasConceptScore W3147575520C199360897 @default.
- W3147575520 hasConceptScore W3147575520C2778029271 @default.
- W3147575520 hasConceptScore W3147575520C2778648169 @default.
- W3147575520 hasConceptScore W3147575520C2779343474 @default.
- W3147575520 hasConceptScore W3147575520C2780378061 @default.
- W3147575520 hasConceptScore W3147575520C2985583900 @default.
- W3147575520 hasConceptScore W3147575520C35578498 @default.
- W3147575520 hasConceptScore W3147575520C41008148 @default.
- W3147575520 hasConceptScore W3147575520C42360764 @default.
- W3147575520 hasConceptScore W3147575520C80444323 @default.
- W3147575520 hasConceptScore W3147575520C86803240 @default.
- W3147575520 hasConceptScore W3147575520C93996380 @default.
- W3147575520 hasLocation W31475755201 @default.
- W3147575520 hasLocation W31475755202 @default.
- W3147575520 hasLocation W31475755203 @default.
- W3147575520 hasLocation W31475755204 @default.
- W3147575520 hasOpenAccess W3147575520 @default.
- W3147575520 hasPrimaryLocation W31475755201 @default.
- W3147575520 hasRelatedWork W1481867214 @default.
- W3147575520 hasRelatedWork W1585089195 @default.
- W3147575520 hasRelatedWork W2251489615 @default.
- W3147575520 hasRelatedWork W2548318175 @default.
- W3147575520 hasRelatedWork W2977476708 @default.
- W3147575520 hasRelatedWork W3099114572 @default.
- W3147575520 hasRelatedWork W3100671893 @default.
- W3147575520 hasRelatedWork W3147575520 @default.
- W3147575520 hasRelatedWork W3160136729 @default.
- W3147575520 hasRelatedWork W4381707538 @default.
- W3147575520 hasVolume "46" @default.
- W3147575520 isParatext "false" @default.
- W3147575520 isRetracted "false" @default.
- W3147575520 magId "3147575520" @default.
- W3147575520 workType "article" @default.