Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014876412> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2014876412 endingPage "38" @default.
- W2014876412 startingPage "25" @default.
- W2014876412 abstract "Computation with mobility becomes a novel distributed computation paradigm with the development of network technology. The calculus of Mobile Ambient is a widely studied formal mechanism for describing both mobile computing and mobile computation. To improve this process calculus, Robust Mobile Ambient is introduced by providing co-actions. This paper deals with the modal logic for finite fragment of this calculus without communication primitives. In details, we compare standard behavioral equivalence with the equivalence induced by the logic (=L) and with the structural congruence. As a result, we prove the intensionality of the logic and at the same time, an axiomatization for = L is given. The authors thank the three referees for many constructive suggestions and comments." @default.
- W2014876412 created "2016-06-24" @default.
- W2014876412 creator A5030747944 @default.
- W2014876412 creator A5056620923 @default.
- W2014876412 creator A5066196985 @default.
- W2014876412 date "2003-09-01" @default.
- W2014876412 modified "2023-10-16" @default.
- W2014876412 title "Intensionality of Modal Logic for Robust Ambient Calculus" @default.
- W2014876412 cites W1503973138 @default.
- W2014876412 cites W1529140242 @default.
- W2014876412 cites W1968065704 @default.
- W2014876412 cites W1978469611 @default.
- W2014876412 cites W2013672985 @default.
- W2014876412 cites W2094712820 @default.
- W2014876412 cites W2125252697 @default.
- W2014876412 cites W2126008038 @default.
- W2014876412 cites W2128932399 @default.
- W2014876412 cites W2144141926 @default.
- W2014876412 cites W2167998587 @default.
- W2014876412 cites W2170120690 @default.
- W2014876412 cites W2914559425 @default.
- W2014876412 cites W2914597273 @default.
- W2014876412 cites W3140931647 @default.
- W2014876412 doi "https://doi.org/10.1016/s1571-0661(05)80085-4" @default.
- W2014876412 hasPublicationYear "2003" @default.
- W2014876412 type Work @default.
- W2014876412 sameAs 2014876412 @default.
- W2014876412 citedByCount "0" @default.
- W2014876412 crossrefType "journal-article" @default.
- W2014876412 hasAuthorship W2014876412A5030747944 @default.
- W2014876412 hasAuthorship W2014876412A5056620923 @default.
- W2014876412 hasAuthorship W2014876412A5066196985 @default.
- W2014876412 hasBestOaLocation W20148764121 @default.
- W2014876412 hasConcept C11413529 @default.
- W2014876412 hasConcept C118615104 @default.
- W2014876412 hasConcept C135315306 @default.
- W2014876412 hasConcept C136119220 @default.
- W2014876412 hasConcept C161771561 @default.
- W2014876412 hasConcept C185592680 @default.
- W2014876412 hasConcept C188027245 @default.
- W2014876412 hasConcept C199343813 @default.
- W2014876412 hasConcept C199360897 @default.
- W2014876412 hasConcept C202444582 @default.
- W2014876412 hasConcept C27508121 @default.
- W2014876412 hasConcept C2777686260 @default.
- W2014876412 hasConcept C2778701210 @default.
- W2014876412 hasConcept C2780069185 @default.
- W2014876412 hasConcept C33923547 @default.
- W2014876412 hasConcept C41008148 @default.
- W2014876412 hasConcept C45374587 @default.
- W2014876412 hasConcept C71139939 @default.
- W2014876412 hasConcept C71924100 @default.
- W2014876412 hasConcept C80444323 @default.
- W2014876412 hasConcept C98045186 @default.
- W2014876412 hasConceptScore W2014876412C11413529 @default.
- W2014876412 hasConceptScore W2014876412C118615104 @default.
- W2014876412 hasConceptScore W2014876412C135315306 @default.
- W2014876412 hasConceptScore W2014876412C136119220 @default.
- W2014876412 hasConceptScore W2014876412C161771561 @default.
- W2014876412 hasConceptScore W2014876412C185592680 @default.
- W2014876412 hasConceptScore W2014876412C188027245 @default.
- W2014876412 hasConceptScore W2014876412C199343813 @default.
- W2014876412 hasConceptScore W2014876412C199360897 @default.
- W2014876412 hasConceptScore W2014876412C202444582 @default.
- W2014876412 hasConceptScore W2014876412C27508121 @default.
- W2014876412 hasConceptScore W2014876412C2777686260 @default.
- W2014876412 hasConceptScore W2014876412C2778701210 @default.
- W2014876412 hasConceptScore W2014876412C2780069185 @default.
- W2014876412 hasConceptScore W2014876412C33923547 @default.
- W2014876412 hasConceptScore W2014876412C41008148 @default.
- W2014876412 hasConceptScore W2014876412C45374587 @default.
- W2014876412 hasConceptScore W2014876412C71139939 @default.
- W2014876412 hasConceptScore W2014876412C71924100 @default.
- W2014876412 hasConceptScore W2014876412C80444323 @default.
- W2014876412 hasConceptScore W2014876412C98045186 @default.
- W2014876412 hasIssue "1" @default.
- W2014876412 hasLocation W20148764121 @default.
- W2014876412 hasLocation W20148764122 @default.
- W2014876412 hasOpenAccess W2014876412 @default.
- W2014876412 hasPrimaryLocation W20148764121 @default.
- W2014876412 hasRelatedWork W1567765153 @default.
- W2014876412 hasRelatedWork W2005263036 @default.
- W2014876412 hasRelatedWork W2069441293 @default.
- W2014876412 hasRelatedWork W2106102830 @default.
- W2014876412 hasRelatedWork W2153411278 @default.
- W2014876412 hasRelatedWork W3205223140 @default.
- W2014876412 hasRelatedWork W4207042428 @default.
- W2014876412 hasRelatedWork W4294810627 @default.
- W2014876412 hasRelatedWork W98687480 @default.
- W2014876412 hasRelatedWork W4286903732 @default.
- W2014876412 hasVolume "85" @default.
- W2014876412 isParatext "false" @default.
- W2014876412 isRetracted "false" @default.
- W2014876412 magId "2014876412" @default.
- W2014876412 workType "article" @default.