Matches in SemOpenAlex for { <https://semopenalex.org/work/W203298796> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W203298796 endingPage "164" @default.
- W203298796 startingPage "149" @default.
- W203298796 abstract "We propose a minimal extension to the UNITY formalism to express mobility. Basically, we assign an explicit locatio n to variables. This approach implies to define a semantic notion of mapping corre ctness. In this first proposal, we only use mobile variables and replica ted code. This approach aims at providing a helpful expression of algorith ms to refine and prove them more easily. To illustrate it, we develop a mobility-based mutual exclusion algorithm and prove its safety." @default.
- W203298796 created "2016-06-24" @default.
- W203298796 creator A5037648143 @default.
- W203298796 creator A5050778054 @default.
- W203298796 creator A5068043239 @default.
- W203298796 creator A5068912028 @default.
- W203298796 creator A5074021055 @default.
- W203298796 date "1999-01-01" @default.
- W203298796 modified "2023-09-23" @default.
- W203298796 title "Modelling and Verifying Migration: A case study." @default.
- W203298796 cites W1506588809 @default.
- W203298796 cites W1544069804 @default.
- W203298796 cites W1569290374 @default.
- W203298796 cites W1857327297 @default.
- W203298796 cites W1979885075 @default.
- W203298796 cites W202239564 @default.
- W203298796 cites W2026356804 @default.
- W203298796 cites W2035988561 @default.
- W203298796 cites W2060361043 @default.
- W203298796 cites W2063158268 @default.
- W203298796 cites W2103953153 @default.
- W203298796 cites W2121134342 @default.
- W203298796 cites W90583330 @default.
- W203298796 hasPublicationYear "1999" @default.
- W203298796 type Work @default.
- W203298796 sameAs 203298796 @default.
- W203298796 citedByCount "0" @default.
- W203298796 crossrefType "proceedings-article" @default.
- W203298796 hasAuthorship W203298796A5037648143 @default.
- W203298796 hasAuthorship W203298796A5050778054 @default.
- W203298796 hasAuthorship W203298796A5068043239 @default.
- W203298796 hasAuthorship W203298796A5068912028 @default.
- W203298796 hasAuthorship W203298796A5074021055 @default.
- W203298796 hasConcept C11413529 @default.
- W203298796 hasConcept C120314980 @default.
- W203298796 hasConcept C142362112 @default.
- W203298796 hasConcept C153349607 @default.
- W203298796 hasConcept C177264268 @default.
- W203298796 hasConcept C199360897 @default.
- W203298796 hasConcept C2775937380 @default.
- W203298796 hasConcept C2776760102 @default.
- W203298796 hasConcept C2778029271 @default.
- W203298796 hasConcept C41008148 @default.
- W203298796 hasConcept C558565934 @default.
- W203298796 hasConcept C56348326 @default.
- W203298796 hasConcept C73301696 @default.
- W203298796 hasConcept C80444323 @default.
- W203298796 hasConcept C90559484 @default.
- W203298796 hasConceptScore W203298796C11413529 @default.
- W203298796 hasConceptScore W203298796C120314980 @default.
- W203298796 hasConceptScore W203298796C142362112 @default.
- W203298796 hasConceptScore W203298796C153349607 @default.
- W203298796 hasConceptScore W203298796C177264268 @default.
- W203298796 hasConceptScore W203298796C199360897 @default.
- W203298796 hasConceptScore W203298796C2775937380 @default.
- W203298796 hasConceptScore W203298796C2776760102 @default.
- W203298796 hasConceptScore W203298796C2778029271 @default.
- W203298796 hasConceptScore W203298796C41008148 @default.
- W203298796 hasConceptScore W203298796C558565934 @default.
- W203298796 hasConceptScore W203298796C56348326 @default.
- W203298796 hasConceptScore W203298796C73301696 @default.
- W203298796 hasConceptScore W203298796C80444323 @default.
- W203298796 hasConceptScore W203298796C90559484 @default.
- W203298796 hasLocation W2032987961 @default.
- W203298796 hasOpenAccess W203298796 @default.
- W203298796 hasPrimaryLocation W2032987961 @default.
- W203298796 hasRelatedWork W1315694 @default.
- W203298796 hasRelatedWork W1489937864 @default.
- W203298796 hasRelatedWork W2005440437 @default.
- W203298796 hasRelatedWork W2021500450 @default.
- W203298796 hasRelatedWork W2030875267 @default.
- W203298796 hasRelatedWork W2141907077 @default.
- W203298796 hasRelatedWork W2152644201 @default.
- W203298796 hasRelatedWork W2159995990 @default.
- W203298796 hasRelatedWork W2281752977 @default.
- W203298796 hasRelatedWork W2295961883 @default.
- W203298796 hasRelatedWork W2404192081 @default.
- W203298796 hasRelatedWork W2558776782 @default.
- W203298796 hasRelatedWork W2625432326 @default.
- W203298796 hasRelatedWork W2914272084 @default.
- W203298796 hasRelatedWork W2945667586 @default.
- W203298796 hasRelatedWork W2949189471 @default.
- W203298796 hasRelatedWork W2951330018 @default.
- W203298796 hasRelatedWork W2971122962 @default.
- W203298796 hasRelatedWork W2999111365 @default.
- W203298796 hasRelatedWork W3194642185 @default.
- W203298796 isParatext "false" @default.
- W203298796 isRetracted "false" @default.
- W203298796 magId "203298796" @default.
- W203298796 workType "article" @default.