Matches in SemOpenAlex for { <https://semopenalex.org/work/W1607482947> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1607482947 abstract "Operating guidelines have been introduced to characterize all controllers for a given service S. A controller of S is a service that interacts with S without deadlocking. An operating guideline of S can be used to decide whether S refines another service. It is a special-purpose structure to describe the behavior of service S from the perspective of its controllers rather than from the perspective of S.This paper provides a more conceptual understanding of operating guidelines from the perspective of a traditional concurrency semantics: a trace-based semantics. As benefits, we get an easier characterization of service refinement, and prove that this is a fully abstract precongruence." @default.
- W1607482947 created "2016-06-24" @default.
- W1607482947 creator A5004151425 @default.
- W1607482947 creator A5068573305 @default.
- W1607482947 date "2011-01-01" @default.
- W1607482947 modified "2023-09-25" @default.
- W1607482947 title "A Trace-Based View on Operating Guidelines" @default.
- W1607482947 cites W1497860901 @default.
- W1607482947 cites W1505632640 @default.
- W1607482947 cites W1541897457 @default.
- W1607482947 cites W1553245026 @default.
- W1607482947 cites W1561803106 @default.
- W1607482947 cites W1566814846 @default.
- W1607482947 cites W1969418483 @default.
- W1607482947 cites W2039112578 @default.
- W1607482947 cites W2098996654 @default.
- W1607482947 cites W2102097307 @default.
- W1607482947 cites W2157144873 @default.
- W1607482947 cites W4244728546 @default.
- W1607482947 doi "https://doi.org/10.1007/978-3-642-19805-2_28" @default.
- W1607482947 hasPublicationYear "2011" @default.
- W1607482947 type Work @default.
- W1607482947 sameAs 1607482947 @default.
- W1607482947 citedByCount "3" @default.
- W1607482947 countsByYear W16074829472012 @default.
- W1607482947 countsByYear W16074829472013 @default.
- W1607482947 countsByYear W16074829472014 @default.
- W1607482947 crossrefType "book-chapter" @default.
- W1607482947 hasAuthorship W1607482947A5004151425 @default.
- W1607482947 hasAuthorship W1607482947A5068573305 @default.
- W1607482947 hasBestOaLocation W16074829471 @default.
- W1607482947 hasConcept C115903868 @default.
- W1607482947 hasConcept C120314980 @default.
- W1607482947 hasConcept C12713177 @default.
- W1607482947 hasConcept C136264566 @default.
- W1607482947 hasConcept C138885662 @default.
- W1607482947 hasConcept C154945302 @default.
- W1607482947 hasConcept C156325763 @default.
- W1607482947 hasConcept C162324750 @default.
- W1607482947 hasConcept C184337299 @default.
- W1607482947 hasConcept C193702766 @default.
- W1607482947 hasConcept C199360897 @default.
- W1607482947 hasConcept C203479927 @default.
- W1607482947 hasConcept C2780378061 @default.
- W1607482947 hasConcept C41008148 @default.
- W1607482947 hasConcept C41895202 @default.
- W1607482947 hasConcept C6557445 @default.
- W1607482947 hasConcept C75291252 @default.
- W1607482947 hasConcept C86803240 @default.
- W1607482947 hasConceptScore W1607482947C115903868 @default.
- W1607482947 hasConceptScore W1607482947C120314980 @default.
- W1607482947 hasConceptScore W1607482947C12713177 @default.
- W1607482947 hasConceptScore W1607482947C136264566 @default.
- W1607482947 hasConceptScore W1607482947C138885662 @default.
- W1607482947 hasConceptScore W1607482947C154945302 @default.
- W1607482947 hasConceptScore W1607482947C156325763 @default.
- W1607482947 hasConceptScore W1607482947C162324750 @default.
- W1607482947 hasConceptScore W1607482947C184337299 @default.
- W1607482947 hasConceptScore W1607482947C193702766 @default.
- W1607482947 hasConceptScore W1607482947C199360897 @default.
- W1607482947 hasConceptScore W1607482947C203479927 @default.
- W1607482947 hasConceptScore W1607482947C2780378061 @default.
- W1607482947 hasConceptScore W1607482947C41008148 @default.
- W1607482947 hasConceptScore W1607482947C41895202 @default.
- W1607482947 hasConceptScore W1607482947C6557445 @default.
- W1607482947 hasConceptScore W1607482947C75291252 @default.
- W1607482947 hasConceptScore W1607482947C86803240 @default.
- W1607482947 hasLocation W16074829471 @default.
- W1607482947 hasOpenAccess W1607482947 @default.
- W1607482947 hasPrimaryLocation W16074829471 @default.
- W1607482947 hasRelatedWork W1494186517 @default.
- W1607482947 hasRelatedWork W1584697460 @default.
- W1607482947 hasRelatedWork W180059603 @default.
- W1607482947 hasRelatedWork W1801073586 @default.
- W1607482947 hasRelatedWork W1801944252 @default.
- W1607482947 hasRelatedWork W1939756457 @default.
- W1607482947 hasRelatedWork W1959195968 @default.
- W1607482947 hasRelatedWork W1993163335 @default.
- W1607482947 hasRelatedWork W1999386180 @default.
- W1607482947 hasRelatedWork W2029168211 @default.
- W1607482947 hasRelatedWork W2123843362 @default.
- W1607482947 hasRelatedWork W2171869249 @default.
- W1607482947 hasRelatedWork W2235728809 @default.
- W1607482947 hasRelatedWork W2479497424 @default.
- W1607482947 hasRelatedWork W2495693718 @default.
- W1607482947 hasRelatedWork W2854546314 @default.
- W1607482947 hasRelatedWork W290710835 @default.
- W1607482947 hasRelatedWork W417448207 @default.
- W1607482947 hasRelatedWork W73756939 @default.
- W1607482947 hasRelatedWork W2156318821 @default.
- W1607482947 isParatext "false" @default.
- W1607482947 isRetracted "false" @default.
- W1607482947 magId "1607482947" @default.
- W1607482947 workType "book-chapter" @default.