Matches in SemOpenAlex for { <https://semopenalex.org/work/W2373892785> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2373892785 abstract "The Ambient Logic(AL) that has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients(MA) has been researched. In details, in MA with replication operator and restrication operator, we gived the coinductive characterisations of the logic equivalence(=_L), and compared =_L with the structural congruence(≡). As a result, when in , subset of MA, obtained by imposing constraints on MA, AL is intensional because =L is equivalent with ≡. Due to the presence of replication operator, the intensionality of AL has been influenced and its separability has been weaken, but according to the construction of characteristic formulas the expressiveness of AL has been proved." @default.
- W2373892785 created "2016-06-24" @default.
- W2373892785 creator A5090079801 @default.
- W2373892785 date "2004-01-01" @default.
- W2373892785 modified "2023-09-23" @default.
- W2373892785 title "Intensionality of Modal Logic for Ambient Calculus with Restricted Replication" @default.
- W2373892785 hasPublicationYear "2004" @default.
- W2373892785 type Work @default.
- W2373892785 sameAs 2373892785 @default.
- W2373892785 citedByCount "0" @default.
- W2373892785 crossrefType "journal-article" @default.
- W2373892785 hasAuthorship W2373892785A5090079801 @default.
- W2373892785 hasConcept C104317684 @default.
- W2373892785 hasConcept C118615104 @default.
- W2373892785 hasConcept C135315306 @default.
- W2373892785 hasConcept C136119220 @default.
- W2373892785 hasConcept C158448853 @default.
- W2373892785 hasConcept C17020691 @default.
- W2373892785 hasConcept C185592680 @default.
- W2373892785 hasConcept C188027245 @default.
- W2373892785 hasConcept C199343813 @default.
- W2373892785 hasConcept C202444582 @default.
- W2373892785 hasConcept C27508121 @default.
- W2373892785 hasConcept C2777686260 @default.
- W2373892785 hasConcept C2780069185 @default.
- W2373892785 hasConcept C33923547 @default.
- W2373892785 hasConcept C55493867 @default.
- W2373892785 hasConcept C71139939 @default.
- W2373892785 hasConcept C71924100 @default.
- W2373892785 hasConcept C86339819 @default.
- W2373892785 hasConceptScore W2373892785C104317684 @default.
- W2373892785 hasConceptScore W2373892785C118615104 @default.
- W2373892785 hasConceptScore W2373892785C135315306 @default.
- W2373892785 hasConceptScore W2373892785C136119220 @default.
- W2373892785 hasConceptScore W2373892785C158448853 @default.
- W2373892785 hasConceptScore W2373892785C17020691 @default.
- W2373892785 hasConceptScore W2373892785C185592680 @default.
- W2373892785 hasConceptScore W2373892785C188027245 @default.
- W2373892785 hasConceptScore W2373892785C199343813 @default.
- W2373892785 hasConceptScore W2373892785C202444582 @default.
- W2373892785 hasConceptScore W2373892785C27508121 @default.
- W2373892785 hasConceptScore W2373892785C2777686260 @default.
- W2373892785 hasConceptScore W2373892785C2780069185 @default.
- W2373892785 hasConceptScore W2373892785C33923547 @default.
- W2373892785 hasConceptScore W2373892785C55493867 @default.
- W2373892785 hasConceptScore W2373892785C71139939 @default.
- W2373892785 hasConceptScore W2373892785C71924100 @default.
- W2373892785 hasConceptScore W2373892785C86339819 @default.
- W2373892785 hasOpenAccess W2373892785 @default.
- W2373892785 hasRelatedWork W142053201 @default.
- W2373892785 hasRelatedWork W15134229 @default.
- W2373892785 hasRelatedWork W1552970256 @default.
- W2373892785 hasRelatedWork W1563797259 @default.
- W2373892785 hasRelatedWork W1959664364 @default.
- W2373892785 hasRelatedWork W2023511748 @default.
- W2373892785 hasRelatedWork W2127907968 @default.
- W2373892785 hasRelatedWork W2274975500 @default.
- W2373892785 hasRelatedWork W2283837784 @default.
- W2373892785 hasRelatedWork W2521115099 @default.
- W2373892785 hasRelatedWork W2789072260 @default.
- W2373892785 hasRelatedWork W2948247532 @default.
- W2373892785 hasRelatedWork W2955151225 @default.
- W2373892785 hasRelatedWork W3102477048 @default.
- W2373892785 hasRelatedWork W3136553163 @default.
- W2373892785 hasRelatedWork W3138992896 @default.
- W2373892785 hasRelatedWork W3145618016 @default.
- W2373892785 hasRelatedWork W62296852 @default.
- W2373892785 hasRelatedWork W82525747 @default.
- W2373892785 hasRelatedWork W2740609775 @default.
- W2373892785 isParatext "false" @default.
- W2373892785 isRetracted "false" @default.
- W2373892785 magId "2373892785" @default.
- W2373892785 workType "article" @default.