Matches in SemOpenAlex for { <https://semopenalex.org/work/W1589442640> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1589442640 endingPage "408" @default.
- W1589442640 startingPage "390" @default.
- W1589442640 abstract "Obliq is a distributed, object-based programming language. In Obliq, the migration of an object is proposed as creating a clone of the object at the target site, whereafter the original object is turned into an alias for the clone. Obliq has an only informal semantics, so there is no proof that this style of migration is correct, i.e., transparent to object clients. In this paper, we focus on Øjeblik, an abstraction of Obliq. We give a π-calculus semantics to Øjeblik, and we use it to formally prove the correctness of object surrogation, an abstraction of object migration." @default.
- W1589442640 created "2016-06-24" @default.
- W1589442640 creator A5018685791 @default.
- W1589442640 creator A5051857172 @default.
- W1589442640 creator A5057498711 @default.
- W1589442640 date "2000-01-01" @default.
- W1589442640 modified "2023-09-26" @default.
- W1589442640 title "Local π-Calculus at Work: Mobile Objects as Mobile Processes" @default.
- W1589442640 cites W1487583155 @default.
- W1589442640 cites W1499980359 @default.
- W1589442640 cites W1523525039 @default.
- W1589442640 cites W1544633123 @default.
- W1589442640 cites W1556545695 @default.
- W1589442640 cites W1911052812 @default.
- W1589442640 cites W2047084525 @default.
- W1589442640 cites W2050942832 @default.
- W1589442640 cites W2053534205 @default.
- W1589442640 cites W2072048176 @default.
- W1589442640 cites W2148025199 @default.
- W1589442640 cites W2476379118 @default.
- W1589442640 cites W4255198244 @default.
- W1589442640 doi "https://doi.org/10.1007/3-540-44929-9_28" @default.
- W1589442640 hasPublicationYear "2000" @default.
- W1589442640 type Work @default.
- W1589442640 sameAs 1589442640 @default.
- W1589442640 citedByCount "2" @default.
- W1589442640 crossrefType "book-chapter" @default.
- W1589442640 hasAuthorship W1589442640A5018685791 @default.
- W1589442640 hasAuthorship W1589442640A5051857172 @default.
- W1589442640 hasAuthorship W1589442640A5057498711 @default.
- W1589442640 hasBestOaLocation W15894426401 @default.
- W1589442640 hasConcept C111472728 @default.
- W1589442640 hasConcept C124101348 @default.
- W1589442640 hasConcept C124304363 @default.
- W1589442640 hasConcept C138885662 @default.
- W1589442640 hasConcept C154945302 @default.
- W1589442640 hasConcept C184337299 @default.
- W1589442640 hasConcept C199343813 @default.
- W1589442640 hasConcept C199360897 @default.
- W1589442640 hasConcept C2777686260 @default.
- W1589442640 hasConcept C2781238097 @default.
- W1589442640 hasConcept C41008148 @default.
- W1589442640 hasConcept C46681722 @default.
- W1589442640 hasConcept C49312422 @default.
- W1589442640 hasConcept C55439883 @default.
- W1589442640 hasConcept C71924100 @default.
- W1589442640 hasConcept C80444323 @default.
- W1589442640 hasConcept C81192388 @default.
- W1589442640 hasConceptScore W1589442640C111472728 @default.
- W1589442640 hasConceptScore W1589442640C124101348 @default.
- W1589442640 hasConceptScore W1589442640C124304363 @default.
- W1589442640 hasConceptScore W1589442640C138885662 @default.
- W1589442640 hasConceptScore W1589442640C154945302 @default.
- W1589442640 hasConceptScore W1589442640C184337299 @default.
- W1589442640 hasConceptScore W1589442640C199343813 @default.
- W1589442640 hasConceptScore W1589442640C199360897 @default.
- W1589442640 hasConceptScore W1589442640C2777686260 @default.
- W1589442640 hasConceptScore W1589442640C2781238097 @default.
- W1589442640 hasConceptScore W1589442640C41008148 @default.
- W1589442640 hasConceptScore W1589442640C46681722 @default.
- W1589442640 hasConceptScore W1589442640C49312422 @default.
- W1589442640 hasConceptScore W1589442640C55439883 @default.
- W1589442640 hasConceptScore W1589442640C71924100 @default.
- W1589442640 hasConceptScore W1589442640C80444323 @default.
- W1589442640 hasConceptScore W1589442640C81192388 @default.
- W1589442640 hasLocation W15894426401 @default.
- W1589442640 hasOpenAccess W1589442640 @default.
- W1589442640 hasPrimaryLocation W15894426401 @default.
- W1589442640 hasRelatedWork W1556545695 @default.
- W1589442640 hasRelatedWork W1748985948 @default.
- W1589442640 hasRelatedWork W1759303344 @default.
- W1589442640 hasRelatedWork W1985198438 @default.
- W1589442640 hasRelatedWork W2187462042 @default.
- W1589442640 hasRelatedWork W2625750970 @default.
- W1589442640 hasRelatedWork W3160136729 @default.
- W1589442640 hasRelatedWork W4213153484 @default.
- W1589442640 hasRelatedWork W4238823939 @default.
- W1589442640 hasRelatedWork W746621186 @default.
- W1589442640 isParatext "false" @default.
- W1589442640 isRetracted "false" @default.
- W1589442640 magId "1589442640" @default.
- W1589442640 workType "book-chapter" @default.