Matches in SemOpenAlex for { <https://semopenalex.org/work/W2940772020> ?p ?o ?g. }
- W2940772020 abstract "This paper poses that transition systems constitute a good model of distributed systems only in combination with a criterion telling which paths model complete runs of the represented systems. Among such criteria, progress is too weak to capture relevant liveness properties, and fairness is often too strong; for typical applications we advocate the intermediate criterion of justness. Previously, we proposed a definition of justness in terms of an asymmetric concurrency relation between transitions. Here we define such a concurrency relation for the transition systems associated to the process algebra CCS as well as its extensions with broadcast communication and signals, thereby making these process algebras suitable for capturing liveness properties requiring justness." @default.
- W2940772020 created "2019-05-03" @default.
- W2940772020 creator A5048229897 @default.
- W2940772020 date "2019-08-31" @default.
- W2940772020 modified "2023-09-27" @default.
- W2940772020 title "Justness: A completeness criterion for capturing liveness properties" @default.
- W2940772020 cites W1483980066 @default.
- W2940772020 cites W1487534524 @default.
- W2940772020 cites W1585042602 @default.
- W2940772020 cites W1593488045 @default.
- W2940772020 cites W1602232868 @default.
- W2940772020 cites W1608147864 @default.
- W2940772020 cites W1868821056 @default.
- W2940772020 cites W1989877393 @default.
- W2940772020 cites W2001965745 @default.
- W2940772020 cites W2004306067 @default.
- W2940772020 cites W2023808162 @default.
- W2940772020 cites W2048355938 @default.
- W2940772020 cites W2060344461 @default.
- W2940772020 cites W2081455126 @default.
- W2940772020 cites W2107144615 @default.
- W2940772020 cites W2126562678 @default.
- W2940772020 cites W2127546784 @default.
- W2940772020 cites W2132334337 @default.
- W2940772020 cites W2137865376 @default.
- W2940772020 cites W2142988323 @default.
- W2940772020 cites W2152988203 @default.
- W2940772020 cites W2158476457 @default.
- W2940772020 cites W2166656159 @default.
- W2940772020 cites W2173961470 @default.
- W2940772020 cites W2174215409 @default.
- W2940772020 cites W2207746424 @default.
- W2940772020 cites W2475115995 @default.
- W2940772020 cites W2752116518 @default.
- W2940772020 cites W2770566832 @default.
- W2940772020 cites W2914421362 @default.
- W2940772020 cites W2963951928 @default.
- W2940772020 cites W2971448699 @default.
- W2940772020 hasPublicationYear "2019" @default.
- W2940772020 type Work @default.
- W2940772020 sameAs 2940772020 @default.
- W2940772020 citedByCount "2" @default.
- W2940772020 countsByYear W29407720202019 @default.
- W2940772020 countsByYear W29407720202021 @default.
- W2940772020 crossrefType "posted-content" @default.
- W2940772020 hasAuthorship W2940772020A5048229897 @default.
- W2940772020 hasConcept C120314980 @default.
- W2940772020 hasConcept C124101348 @default.
- W2940772020 hasConcept C134306372 @default.
- W2940772020 hasConcept C15569618 @default.
- W2940772020 hasConcept C161771561 @default.
- W2940772020 hasConcept C17231256 @default.
- W2940772020 hasConcept C193702766 @default.
- W2940772020 hasConcept C199360897 @default.
- W2940772020 hasConcept C25343380 @default.
- W2940772020 hasConcept C2779167558 @default.
- W2940772020 hasConcept C33923547 @default.
- W2940772020 hasConcept C41008148 @default.
- W2940772020 hasConcept C80444323 @default.
- W2940772020 hasConcept C98045186 @default.
- W2940772020 hasConceptScore W2940772020C120314980 @default.
- W2940772020 hasConceptScore W2940772020C124101348 @default.
- W2940772020 hasConceptScore W2940772020C134306372 @default.
- W2940772020 hasConceptScore W2940772020C15569618 @default.
- W2940772020 hasConceptScore W2940772020C161771561 @default.
- W2940772020 hasConceptScore W2940772020C17231256 @default.
- W2940772020 hasConceptScore W2940772020C193702766 @default.
- W2940772020 hasConceptScore W2940772020C199360897 @default.
- W2940772020 hasConceptScore W2940772020C25343380 @default.
- W2940772020 hasConceptScore W2940772020C2779167558 @default.
- W2940772020 hasConceptScore W2940772020C33923547 @default.
- W2940772020 hasConceptScore W2940772020C41008148 @default.
- W2940772020 hasConceptScore W2940772020C80444323 @default.
- W2940772020 hasConceptScore W2940772020C98045186 @default.
- W2940772020 hasLocation W29407720201 @default.
- W2940772020 hasOpenAccess W2940772020 @default.
- W2940772020 hasPrimaryLocation W29407720201 @default.
- W2940772020 hasRelatedWork W1543243434 @default.
- W2940772020 hasRelatedWork W1597903614 @default.
- W2940772020 hasRelatedWork W1598256597 @default.
- W2940772020 hasRelatedWork W1602060156 @default.
- W2940772020 hasRelatedWork W1641346184 @default.
- W2940772020 hasRelatedWork W183350788 @default.
- W2940772020 hasRelatedWork W183653768 @default.
- W2940772020 hasRelatedWork W1857396602 @default.
- W2940772020 hasRelatedWork W2013515339 @default.
- W2940772020 hasRelatedWork W2032052230 @default.
- W2940772020 hasRelatedWork W2133475308 @default.
- W2940772020 hasRelatedWork W2240079117 @default.
- W2940772020 hasRelatedWork W2264595118 @default.
- W2940772020 hasRelatedWork W2276953347 @default.
- W2940772020 hasRelatedWork W2470330431 @default.
- W2940772020 hasRelatedWork W2786406645 @default.
- W2940772020 hasRelatedWork W2951290938 @default.
- W2940772020 hasRelatedWork W2966773969 @default.
- W2940772020 hasRelatedWork W3189323669 @default.
- W2940772020 hasRelatedWork W3200919178 @default.
- W2940772020 isParatext "false" @default.
- W2940772020 isRetracted "false" @default.
- W2940772020 magId "2940772020" @default.