Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103201802> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2103201802 endingPage "391" @default.
- W2103201802 startingPage "374" @default.
- W2103201802 abstract "We present a model of distributed computation which is based on a fragment of the π-calculus relying on asynchronous communication. We enrich the model with the following features: the explicit distribution of processes to locations, the failure of locations and their detection, and the mobility of processes. Our contributions are two folds. At the specification level, we give a synthetic and flexible formalization of the features mentioned above. At the verification level, we provide original methods to reason about the bisimilarity of processes in the presence of failures." @default.
- W2103201802 created "2016-06-24" @default.
- W2103201802 creator A5001192034 @default.
- W2103201802 date "1997-01-01" @default.
- W2103201802 modified "2023-10-10" @default.
- W2103201802 title "An asynchronous model of locality, failure, and process mobility" @default.
- W2103201802 cites W1511998399 @default.
- W2103201802 cites W1570540692 @default.
- W2103201802 cites W1591694044 @default.
- W2103201802 cites W1591752798 @default.
- W2103201802 cites W176676668 @default.
- W2103201802 cites W2050942832 @default.
- W2103201802 cites W2092952058 @default.
- W2103201802 cites W2128932399 @default.
- W2103201802 cites W2133943294 @default.
- W2103201802 cites W2176500975 @default.
- W2103201802 cites W4232027917 @default.
- W2103201802 cites W4255868216 @default.
- W2103201802 doi "https://doi.org/10.1007/3-540-63383-9_92" @default.
- W2103201802 hasPublicationYear "1997" @default.
- W2103201802 type Work @default.
- W2103201802 sameAs 2103201802 @default.
- W2103201802 citedByCount "94" @default.
- W2103201802 countsByYear W21032018022012 @default.
- W2103201802 countsByYear W21032018022013 @default.
- W2103201802 countsByYear W21032018022014 @default.
- W2103201802 countsByYear W21032018022019 @default.
- W2103201802 countsByYear W21032018022022 @default.
- W2103201802 countsByYear W21032018022023 @default.
- W2103201802 crossrefType "book-chapter" @default.
- W2103201802 hasAuthorship W2103201802A5001192034 @default.
- W2103201802 hasBestOaLocation W21032018022 @default.
- W2103201802 hasConcept C110251889 @default.
- W2103201802 hasConcept C120314980 @default.
- W2103201802 hasConcept C138885662 @default.
- W2103201802 hasConcept C151319957 @default.
- W2103201802 hasConcept C161771561 @default.
- W2103201802 hasConcept C199360897 @default.
- W2103201802 hasConcept C2776235265 @default.
- W2103201802 hasConcept C2779808786 @default.
- W2103201802 hasConcept C31258907 @default.
- W2103201802 hasConcept C41008148 @default.
- W2103201802 hasConcept C41895202 @default.
- W2103201802 hasConcept C45374587 @default.
- W2103201802 hasConcept C80444323 @default.
- W2103201802 hasConcept C98045186 @default.
- W2103201802 hasConceptScore W2103201802C110251889 @default.
- W2103201802 hasConceptScore W2103201802C120314980 @default.
- W2103201802 hasConceptScore W2103201802C138885662 @default.
- W2103201802 hasConceptScore W2103201802C151319957 @default.
- W2103201802 hasConceptScore W2103201802C161771561 @default.
- W2103201802 hasConceptScore W2103201802C199360897 @default.
- W2103201802 hasConceptScore W2103201802C2776235265 @default.
- W2103201802 hasConceptScore W2103201802C2779808786 @default.
- W2103201802 hasConceptScore W2103201802C31258907 @default.
- W2103201802 hasConceptScore W2103201802C41008148 @default.
- W2103201802 hasConceptScore W2103201802C41895202 @default.
- W2103201802 hasConceptScore W2103201802C45374587 @default.
- W2103201802 hasConceptScore W2103201802C80444323 @default.
- W2103201802 hasConceptScore W2103201802C98045186 @default.
- W2103201802 hasLocation W21032018021 @default.
- W2103201802 hasLocation W21032018022 @default.
- W2103201802 hasLocation W21032018023 @default.
- W2103201802 hasOpenAccess W2103201802 @default.
- W2103201802 hasPrimaryLocation W21032018021 @default.
- W2103201802 hasRelatedWork W1561560534 @default.
- W2103201802 hasRelatedWork W2103201802 @default.
- W2103201802 hasRelatedWork W2313989154 @default.
- W2103201802 hasRelatedWork W2364921833 @default.
- W2103201802 hasRelatedWork W2519373338 @default.
- W2103201802 hasRelatedWork W3159912674 @default.
- W2103201802 hasRelatedWork W3177160037 @default.
- W2103201802 hasRelatedWork W4287200437 @default.
- W2103201802 hasRelatedWork W2524905605 @default.
- W2103201802 hasRelatedWork W2805391225 @default.
- W2103201802 isParatext "false" @default.
- W2103201802 isRetracted "false" @default.
- W2103201802 magId "2103201802" @default.
- W2103201802 workType "book-chapter" @default.