Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003009718> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2003009718 endingPage "346" @default.
- W2003009718 startingPage "341" @default.
- W2003009718 abstract "Abstract In his 1989 book Robin Milner wrote that the failures equivalence of CSP theory “appears to be the weakest equivalence which never equates a deadlocking agents with one which does not deadlock.” This guess was almost correct, but not completely. In this note we present the weakest equivalence (actually, congruence) with the above-mentioned property, prove that it has these properties, and compare it to failures equivalence." @default.
- W2003009718 created "2016-06-24" @default.
- W2003009718 creator A5062460264 @default.
- W2003009718 date "1995-03-01" @default.
- W2003009718 modified "2023-09-23" @default.
- W2003009718 title "The weakest deadlock-preserving congruence" @default.
- W2003009718 cites W2121372686 @default.
- W2003009718 doi "https://doi.org/10.1016/0020-0190(94)00214-j" @default.
- W2003009718 hasPublicationYear "1995" @default.
- W2003009718 type Work @default.
- W2003009718 sameAs 2003009718 @default.
- W2003009718 citedByCount "32" @default.
- W2003009718 countsByYear W20030097182012 @default.
- W2003009718 countsByYear W20030097182013 @default.
- W2003009718 countsByYear W20030097182015 @default.
- W2003009718 countsByYear W20030097182016 @default.
- W2003009718 countsByYear W20030097182018 @default.
- W2003009718 countsByYear W20030097182020 @default.
- W2003009718 crossrefType "journal-article" @default.
- W2003009718 hasAuthorship W2003009718A5062460264 @default.
- W2003009718 hasConcept C113429609 @default.
- W2003009718 hasConcept C11413529 @default.
- W2003009718 hasConcept C114614502 @default.
- W2003009718 hasConcept C118615104 @default.
- W2003009718 hasConcept C132074034 @default.
- W2003009718 hasConcept C159023740 @default.
- W2003009718 hasConcept C193702766 @default.
- W2003009718 hasConcept C199360897 @default.
- W2003009718 hasConcept C2333172 @default.
- W2003009718 hasConcept C2524010 @default.
- W2003009718 hasConcept C33923547 @default.
- W2003009718 hasConcept C41008148 @default.
- W2003009718 hasConcept C80444323 @default.
- W2003009718 hasConceptScore W2003009718C113429609 @default.
- W2003009718 hasConceptScore W2003009718C11413529 @default.
- W2003009718 hasConceptScore W2003009718C114614502 @default.
- W2003009718 hasConceptScore W2003009718C118615104 @default.
- W2003009718 hasConceptScore W2003009718C132074034 @default.
- W2003009718 hasConceptScore W2003009718C159023740 @default.
- W2003009718 hasConceptScore W2003009718C193702766 @default.
- W2003009718 hasConceptScore W2003009718C199360897 @default.
- W2003009718 hasConceptScore W2003009718C2333172 @default.
- W2003009718 hasConceptScore W2003009718C2524010 @default.
- W2003009718 hasConceptScore W2003009718C33923547 @default.
- W2003009718 hasConceptScore W2003009718C41008148 @default.
- W2003009718 hasConceptScore W2003009718C80444323 @default.
- W2003009718 hasIssue "6" @default.
- W2003009718 hasLocation W20030097181 @default.
- W2003009718 hasOpenAccess W2003009718 @default.
- W2003009718 hasPrimaryLocation W20030097181 @default.
- W2003009718 hasRelatedWork W132328680 @default.
- W2003009718 hasRelatedWork W1548197955 @default.
- W2003009718 hasRelatedWork W1560330117 @default.
- W2003009718 hasRelatedWork W2009559981 @default.
- W2003009718 hasRelatedWork W2098144473 @default.
- W2003009718 hasRelatedWork W2125303839 @default.
- W2003009718 hasRelatedWork W2136375492 @default.
- W2003009718 hasRelatedWork W4249758018 @default.
- W2003009718 hasRelatedWork W4252845830 @default.
- W2003009718 hasRelatedWork W2791570590 @default.
- W2003009718 hasVolume "53" @default.
- W2003009718 isParatext "false" @default.
- W2003009718 isRetracted "false" @default.
- W2003009718 magId "2003009718" @default.
- W2003009718 workType "article" @default.