Matches in SemOpenAlex for { <https://semopenalex.org/work/W146222068> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W146222068 abstract "We describe a process algebraic approach to the semantics of robust systems. We extend a subset of CCS [14] with multi-set pre xes to model systems with replicated synchronous majority voting. Based on an operational semantics, we de ne pre-orders which introduces a hierarchy of faulty processes and fault-tolerant processes. We then show how a similar ordering on modalformulae [18] can characterise the fault pre-orders. Department of Computer Science University of Canterbury, Private Bag 4800 Christchurch, New Zealand Email: paddy@cosc.canterbury.ac.nz" @default.
- W146222068 created "2016-06-24" @default.
- W146222068 creator A5091442651 @default.
- W146222068 date "1992-01-01" @default.
- W146222068 modified "2023-09-27" @default.
- W146222068 title "Pre-Orders for Fault Tolerance" @default.
- W146222068 cites W1487199072 @default.
- W146222068 cites W1503973138 @default.
- W146222068 cites W1964167160 @default.
- W146222068 cites W1975155342 @default.
- W146222068 cites W2000755144 @default.
- W146222068 cites W2042851811 @default.
- W146222068 cites W2100845868 @default.
- W146222068 cites W2116486164 @default.
- W146222068 cites W2136920408 @default.
- W146222068 cites W2176882324 @default.
- W146222068 cites W2344714081 @default.
- W146222068 cites W3137092842 @default.
- W146222068 cites W3144368627 @default.
- W146222068 hasPublicationYear "1992" @default.
- W146222068 type Work @default.
- W146222068 sameAs 146222068 @default.
- W146222068 citedByCount "1" @default.
- W146222068 crossrefType "journal-article" @default.
- W146222068 hasAuthorship W146222068A5091442651 @default.
- W146222068 hasConcept C120314980 @default.
- W146222068 hasConcept C177264268 @default.
- W146222068 hasConcept C17744445 @default.
- W146222068 hasConcept C184337299 @default.
- W146222068 hasConcept C199360897 @default.
- W146222068 hasConcept C199539241 @default.
- W146222068 hasConcept C2779729104 @default.
- W146222068 hasConcept C31170391 @default.
- W146222068 hasConcept C41008148 @default.
- W146222068 hasConcept C50712370 @default.
- W146222068 hasConcept C520049643 @default.
- W146222068 hasConcept C63540848 @default.
- W146222068 hasConcept C80444323 @default.
- W146222068 hasConcept C94625758 @default.
- W146222068 hasConcept C98045186 @default.
- W146222068 hasConceptScore W146222068C120314980 @default.
- W146222068 hasConceptScore W146222068C177264268 @default.
- W146222068 hasConceptScore W146222068C17744445 @default.
- W146222068 hasConceptScore W146222068C184337299 @default.
- W146222068 hasConceptScore W146222068C199360897 @default.
- W146222068 hasConceptScore W146222068C199539241 @default.
- W146222068 hasConceptScore W146222068C2779729104 @default.
- W146222068 hasConceptScore W146222068C31170391 @default.
- W146222068 hasConceptScore W146222068C41008148 @default.
- W146222068 hasConceptScore W146222068C50712370 @default.
- W146222068 hasConceptScore W146222068C520049643 @default.
- W146222068 hasConceptScore W146222068C63540848 @default.
- W146222068 hasConceptScore W146222068C80444323 @default.
- W146222068 hasConceptScore W146222068C94625758 @default.
- W146222068 hasConceptScore W146222068C98045186 @default.
- W146222068 hasLocation W1462220681 @default.
- W146222068 hasOpenAccess W146222068 @default.
- W146222068 hasPrimaryLocation W1462220681 @default.
- W146222068 hasRelatedWork W1549597010 @default.
- W146222068 hasRelatedWork W181839067 @default.
- W146222068 hasRelatedWork W18703358 @default.
- W146222068 hasRelatedWork W2077391904 @default.
- W146222068 hasRelatedWork W2100845868 @default.
- W146222068 hasRelatedWork W2113100977 @default.
- W146222068 hasRelatedWork W2118773379 @default.
- W146222068 hasRelatedWork W2127705645 @default.
- W146222068 hasRelatedWork W2495197953 @default.
- W146222068 hasRelatedWork W2568409254 @default.
- W146222068 hasRelatedWork W2915656441 @default.
- W146222068 isParatext "false" @default.
- W146222068 isRetracted "false" @default.
- W146222068 magId "146222068" @default.
- W146222068 workType "article" @default.