Matches in SemOpenAlex for { <https://semopenalex.org/work/W1964136515> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1964136515 endingPage "176" @default.
- W1964136515 startingPage "147" @default.
- W1964136515 abstract "We present a model of distributed computation which is based on a fragment of the π -calculus relying on asynchronous point-to-point communication. We enrich the model with the following features: the explicit distribution of processes to locations, the routing of messages, the mobility of processes, and the failure of locations and their detection. 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." @default.
- W1964136515 created "2016-06-24" @default.
- W1964136515 creator A5001192034 @default.
- W1964136515 date "2000-06-01" @default.
- W1964136515 modified "2023-09-30" @default.
- W1964136515 title "On modelling mobility" @default.
- W1964136515 cites W1487583155 @default.
- W1964136515 cites W1511998399 @default.
- W1964136515 cites W1591694044 @default.
- W1964136515 cites W1705036269 @default.
- W1964136515 cites W176676668 @default.
- W1964136515 cites W1789824541 @default.
- W1964136515 cites W1805374951 @default.
- W1964136515 cites W1998827035 @default.
- W1964136515 cites W2023866984 @default.
- W1964136515 cites W2035362408 @default.
- W1964136515 cites W2050942832 @default.
- W1964136515 cites W2077240273 @default.
- W1964136515 cites W2092952058 @default.
- W1964136515 cites W2099251677 @default.
- W1964136515 cites W2103201802 @default.
- W1964136515 cites W2128932399 @default.
- W1964136515 cites W2133943294 @default.
- W1964136515 cites W2135670602 @default.
- W1964136515 cites W2139300704 @default.
- W1964136515 cites W2150220944 @default.
- W1964136515 cites W2161536557 @default.
- W1964136515 cites W2170810021 @default.
- W1964136515 cites W4300173355 @default.
- W1964136515 doi "https://doi.org/10.1016/s0304-3975(99)00230-3" @default.
- W1964136515 hasPublicationYear "2000" @default.
- W1964136515 type Work @default.
- W1964136515 sameAs 1964136515 @default.
- W1964136515 citedByCount "28" @default.
- W1964136515 countsByYear W19641365152012 @default.
- W1964136515 countsByYear W19641365152014 @default.
- W1964136515 countsByYear W19641365152015 @default.
- W1964136515 crossrefType "journal-article" @default.
- W1964136515 hasAuthorship W1964136515A5001192034 @default.
- W1964136515 hasBestOaLocation W19641365151 @default.
- W1964136515 hasConcept C33923547 @default.
- W1964136515 hasConcept C41008148 @default.
- W1964136515 hasConcept C80444323 @default.
- W1964136515 hasConceptScore W1964136515C33923547 @default.
- W1964136515 hasConceptScore W1964136515C41008148 @default.
- W1964136515 hasConceptScore W1964136515C80444323 @default.
- W1964136515 hasIssue "1" @default.
- W1964136515 hasLocation W19641365151 @default.
- W1964136515 hasOpenAccess W1964136515 @default.
- W1964136515 hasPrimaryLocation W19641365151 @default.
- W1964136515 hasRelatedWork W1974891317 @default.
- W1964136515 hasRelatedWork W2007596026 @default.
- W1964136515 hasRelatedWork W2044189972 @default.
- W1964136515 hasRelatedWork W2069964982 @default.
- W1964136515 hasRelatedWork W2313400459 @default.
- W1964136515 hasRelatedWork W2392953011 @default.
- W1964136515 hasRelatedWork W2748952813 @default.
- W1964136515 hasRelatedWork W2899084033 @default.
- W1964136515 hasRelatedWork W4225152035 @default.
- W1964136515 hasRelatedWork W4245490552 @default.
- W1964136515 hasVolume "240" @default.
- W1964136515 isParatext "false" @default.
- W1964136515 isRetracted "false" @default.
- W1964136515 magId "1964136515" @default.
- W1964136515 workType "article" @default.