Matches in SemOpenAlex for { <https://semopenalex.org/work/W2032182172> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2032182172 endingPage "1263" @default.
- W2032182172 startingPage "1223" @default.
- W2032182172 abstract "The calculus of Mobile Ambients was proposed by Cardelli and Gordon as a foundational calculus for mobile computing. Since its introduction, the computational strength and the decidability of properties have been investigated for several fragments and variants of the standard calculus. We consider the problem of reachability and characterise a public (that is, restriction-free) fragment for which it is decidable. This fragment is obtained by removing the open capability and restricting the application of the replication operator to guarded processes only. This decidability result may appear surprising in combination with the fact that the same fragment was shown to be Turing complete by Maffeis and Phillips. Finally, we extend our decidability result in two ways: we first prove the decidability of a more general property called target reachability (according to which the target of interest for the reachability analysis consists of a possibly infinite set of processes) and then show that our decidability results also hold for a more general calculus, which includes the sophisticated communication mechanisms of Boxed Ambients, which is the most relevant variant of Mobile Ambients without the open capability." @default.
- W2032182172 created "2016-06-24" @default.
- W2032182172 creator A5058853876 @default.
- W2032182172 creator A5071501129 @default.
- W2032182172 date "2009-12-01" @default.
- W2032182172 modified "2023-09-24" @default.
- W2032182172 title "Deciding reachability problems in Turing-complete fragments of Mobile Ambients" @default.
- W2032182172 cites W1490466329 @default.
- W2032182172 cites W1795959199 @default.
- W2032182172 cites W1971231744 @default.
- W2032182172 cites W1986649132 @default.
- W2032182172 cites W1993828725 @default.
- W2032182172 cites W1996757581 @default.
- W2032182172 cites W2009560105 @default.
- W2032182172 cites W2031844066 @default.
- W2032182172 cites W2061970672 @default.
- W2032182172 cites W2068233489 @default.
- W2032182172 cites W2087663894 @default.
- W2032182172 cites W2091667373 @default.
- W2032182172 cites W2094542439 @default.
- W2032182172 cites W2095421079 @default.
- W2032182172 cites W2106001218 @default.
- W2032182172 cites W2106190666 @default.
- W2032182172 cites W2121347054 @default.
- W2032182172 cites W2128932399 @default.
- W2032182172 cites W2131753537 @default.
- W2032182172 cites W2167998587 @default.
- W2032182172 cites W2912003593 @default.
- W2032182172 cites W4249538237 @default.
- W2032182172 doi "https://doi.org/10.1017/s0960129509990181" @default.
- W2032182172 hasPublicationYear "2009" @default.
- W2032182172 type Work @default.
- W2032182172 sameAs 2032182172 @default.
- W2032182172 citedByCount "5" @default.
- W2032182172 countsByYear W20321821722012 @default.
- W2032182172 countsByYear W20321821722013 @default.
- W2032182172 crossrefType "journal-article" @default.
- W2032182172 hasAuthorship W2032182172A5058853876 @default.
- W2032182172 hasAuthorship W2032182172A5071501129 @default.
- W2032182172 hasConcept C11413529 @default.
- W2032182172 hasConcept C118615104 @default.
- W2032182172 hasConcept C136643341 @default.
- W2032182172 hasConcept C153269930 @default.
- W2032182172 hasConcept C177264268 @default.
- W2032182172 hasConcept C199360897 @default.
- W2032182172 hasConcept C2776235265 @default.
- W2032182172 hasConcept C2777669093 @default.
- W2032182172 hasConcept C29248071 @default.
- W2032182172 hasConcept C33923547 @default.
- W2032182172 hasConcept C41008148 @default.
- W2032182172 hasConcept C45374587 @default.
- W2032182172 hasConcept C80444323 @default.
- W2032182172 hasConcept C9870796 @default.
- W2032182172 hasConceptScore W2032182172C11413529 @default.
- W2032182172 hasConceptScore W2032182172C118615104 @default.
- W2032182172 hasConceptScore W2032182172C136643341 @default.
- W2032182172 hasConceptScore W2032182172C153269930 @default.
- W2032182172 hasConceptScore W2032182172C177264268 @default.
- W2032182172 hasConceptScore W2032182172C199360897 @default.
- W2032182172 hasConceptScore W2032182172C2776235265 @default.
- W2032182172 hasConceptScore W2032182172C2777669093 @default.
- W2032182172 hasConceptScore W2032182172C29248071 @default.
- W2032182172 hasConceptScore W2032182172C33923547 @default.
- W2032182172 hasConceptScore W2032182172C41008148 @default.
- W2032182172 hasConceptScore W2032182172C45374587 @default.
- W2032182172 hasConceptScore W2032182172C80444323 @default.
- W2032182172 hasConceptScore W2032182172C9870796 @default.
- W2032182172 hasIssue "6" @default.
- W2032182172 hasLocation W20321821721 @default.
- W2032182172 hasOpenAccess W2032182172 @default.
- W2032182172 hasPrimaryLocation W20321821721 @default.
- W2032182172 hasRelatedWork W1481048557 @default.
- W2032182172 hasRelatedWork W1567962086 @default.
- W2032182172 hasRelatedWork W1629112568 @default.
- W2032182172 hasRelatedWork W1795959199 @default.
- W2032182172 hasRelatedWork W1851153456 @default.
- W2032182172 hasRelatedWork W2032182172 @default.
- W2032182172 hasRelatedWork W2048551412 @default.
- W2032182172 hasRelatedWork W2563562951 @default.
- W2032182172 hasRelatedWork W2616106208 @default.
- W2032182172 hasRelatedWork W3043513548 @default.
- W2032182172 hasVolume "19" @default.
- W2032182172 isParatext "false" @default.
- W2032182172 isRetracted "false" @default.
- W2032182172 magId "2032182172" @default.
- W2032182172 workType "article" @default.