Matches in SemOpenAlex for { <https://semopenalex.org/work/W84584747> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W84584747 startingPage "20" @default.
- W84584747 abstract "We present a novel refinement relation (stuck-free conformance) for CCS processes, which satisfies the substitutability property: If an implementation I conforms to a specification S, then C[S] stuck-free implies C[I] stuck-free, on any selected names ~a and for all CCS contexts C. Stuck-freedom is related to the CSP notion of deadlock, but it is more discriminative by taking orphan messages in asynchronous systems into account. We prove that conformance is a precongruence, i.e., it is preserved by all CCS contexts, thereby supporting modular refinement. We distinguish conformance from the related preorders, stable failures refinement in CSP and refusal preorder in CCS. Finally, we consider a family of parameterized refinement relations that can be generated from the format of our definition of stuck-free conformance." @default.
- W84584747 created "2016-06-24" @default.
- W84584747 creator A5052945049 @default.
- W84584747 creator A5076139746 @default.
- W84584747 creator A5081497785 @default.
- W84584747 creator A5082774652 @default.
- W84584747 date "2004-07-01" @default.
- W84584747 modified "2023-09-26" @default.
- W84584747 title "Stuck-Free Conformance Theory for CCS" @default.
- W84584747 hasPublicationYear "2004" @default.
- W84584747 type Work @default.
- W84584747 sameAs 84584747 @default.
- W84584747 citedByCount "2" @default.
- W84584747 crossrefType "journal-article" @default.
- W84584747 hasAuthorship W84584747A5052945049 @default.
- W84584747 hasAuthorship W84584747A5076139746 @default.
- W84584747 hasAuthorship W84584747A5081497785 @default.
- W84584747 hasAuthorship W84584747A5082774652 @default.
- W84584747 hasConcept C101468663 @default.
- W84584747 hasConcept C111919701 @default.
- W84584747 hasConcept C11413529 @default.
- W84584747 hasConcept C118615104 @default.
- W84584747 hasConcept C124101348 @default.
- W84584747 hasConcept C151319957 @default.
- W84584747 hasConcept C165464430 @default.
- W84584747 hasConcept C188087704 @default.
- W84584747 hasConcept C199360897 @default.
- W84584747 hasConcept C2333172 @default.
- W84584747 hasConcept C25343380 @default.
- W84584747 hasConcept C31258907 @default.
- W84584747 hasConcept C33923547 @default.
- W84584747 hasConcept C41008148 @default.
- W84584747 hasConcept C76844732 @default.
- W84584747 hasConcept C80444323 @default.
- W84584747 hasConceptScore W84584747C101468663 @default.
- W84584747 hasConceptScore W84584747C111919701 @default.
- W84584747 hasConceptScore W84584747C11413529 @default.
- W84584747 hasConceptScore W84584747C118615104 @default.
- W84584747 hasConceptScore W84584747C124101348 @default.
- W84584747 hasConceptScore W84584747C151319957 @default.
- W84584747 hasConceptScore W84584747C165464430 @default.
- W84584747 hasConceptScore W84584747C188087704 @default.
- W84584747 hasConceptScore W84584747C199360897 @default.
- W84584747 hasConceptScore W84584747C2333172 @default.
- W84584747 hasConceptScore W84584747C25343380 @default.
- W84584747 hasConceptScore W84584747C31258907 @default.
- W84584747 hasConceptScore W84584747C33923547 @default.
- W84584747 hasConceptScore W84584747C41008148 @default.
- W84584747 hasConceptScore W84584747C76844732 @default.
- W84584747 hasConceptScore W84584747C80444323 @default.
- W84584747 hasLocation W845847471 @default.
- W84584747 hasOpenAccess W84584747 @default.
- W84584747 hasPrimaryLocation W845847471 @default.
- W84584747 hasRelatedWork W1120759426 @default.
- W84584747 hasRelatedWork W1503973138 @default.
- W84584747 hasRelatedWork W1531142781 @default.
- W84584747 hasRelatedWork W1603799276 @default.
- W84584747 hasRelatedWork W1959587196 @default.
- W84584747 hasRelatedWork W1963854996 @default.
- W84584747 hasRelatedWork W1998480327 @default.
- W84584747 hasRelatedWork W2033840466 @default.
- W84584747 hasRelatedWork W2098996654 @default.
- W84584747 hasRelatedWork W2102097307 @default.
- W84584747 hasRelatedWork W2559634653 @default.
- W84584747 hasRelatedWork W2659654566 @default.
- W84584747 hasRelatedWork W2741855948 @default.
- W84584747 hasRelatedWork W2794860422 @default.
- W84584747 hasRelatedWork W2901290964 @default.
- W84584747 hasRelatedWork W2913923693 @default.
- W84584747 hasRelatedWork W3144368627 @default.
- W84584747 hasRelatedWork W842436748 @default.
- W84584747 hasRelatedWork W2162129243 @default.
- W84584747 hasRelatedWork W3142790043 @default.
- W84584747 isParatext "false" @default.
- W84584747 isRetracted "false" @default.
- W84584747 magId "84584747" @default.
- W84584747 workType "article" @default.