Matches in SemOpenAlex for { <https://semopenalex.org/work/W2171121244> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2171121244 abstract "The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive systems. It is based on the Workspace Model, which incorporates both distribution-independent and implementation-specific representations of multi-user and mobile applications. The calculus includes an evolution component, allowing the representation of system change at either level over time. It also includes a refinement component supporting the translation of changes at either level into corresponding changes at the other. The combined calculus has several important properties, including locality and termination of the refinement process and commutativity of evolution and refinement. The calculus may be used to reason about fault tolerance and to define the semantics of programming language constructs." @default.
- W2171121244 created "2016-06-24" @default.
- W2171121244 creator A5012823216 @default.
- W2171121244 creator A5056709165 @default.
- W2171121244 creator A5089496626 @default.
- W2171121244 date "2006-01-01" @default.
- W2171121244 modified "2023-09-24" @default.
- W2171121244 title "A Calculus for the Refinement and Evolution of Multi-user Mobile Applications" @default.
- W2171121244 cites W1573337748 @default.
- W2171121244 cites W1996958808 @default.
- W2171121244 cites W2005216655 @default.
- W2171121244 cites W2088972714 @default.
- W2171121244 cites W2102657262 @default.
- W2171121244 cites W2103979020 @default.
- W2171121244 cites W2107249296 @default.
- W2171121244 cites W2128239757 @default.
- W2171121244 doi "https://doi.org/10.1007/11752707_12" @default.
- W2171121244 hasPublicationYear "2006" @default.
- W2171121244 type Work @default.
- W2171121244 sameAs 2171121244 @default.
- W2171121244 citedByCount "7" @default.
- W2171121244 countsByYear W21711212442013 @default.
- W2171121244 crossrefType "book-chapter" @default.
- W2171121244 hasAuthorship W2171121244A5012823216 @default.
- W2171121244 hasAuthorship W2171121244A5056709165 @default.
- W2171121244 hasAuthorship W2171121244A5089496626 @default.
- W2171121244 hasConcept C121332964 @default.
- W2171121244 hasConcept C138885662 @default.
- W2171121244 hasConcept C161771561 @default.
- W2171121244 hasConcept C168167062 @default.
- W2171121244 hasConcept C184337299 @default.
- W2171121244 hasConcept C199343813 @default.
- W2171121244 hasConcept C199360897 @default.
- W2171121244 hasConcept C22497172 @default.
- W2171121244 hasConcept C2777686260 @default.
- W2171121244 hasConcept C2779808786 @default.
- W2171121244 hasConcept C41008148 @default.
- W2171121244 hasConcept C41895202 @default.
- W2171121244 hasConcept C71924100 @default.
- W2171121244 hasConcept C80444323 @default.
- W2171121244 hasConcept C90483712 @default.
- W2171121244 hasConcept C97355855 @default.
- W2171121244 hasConceptScore W2171121244C121332964 @default.
- W2171121244 hasConceptScore W2171121244C138885662 @default.
- W2171121244 hasConceptScore W2171121244C161771561 @default.
- W2171121244 hasConceptScore W2171121244C168167062 @default.
- W2171121244 hasConceptScore W2171121244C184337299 @default.
- W2171121244 hasConceptScore W2171121244C199343813 @default.
- W2171121244 hasConceptScore W2171121244C199360897 @default.
- W2171121244 hasConceptScore W2171121244C22497172 @default.
- W2171121244 hasConceptScore W2171121244C2777686260 @default.
- W2171121244 hasConceptScore W2171121244C2779808786 @default.
- W2171121244 hasConceptScore W2171121244C41008148 @default.
- W2171121244 hasConceptScore W2171121244C41895202 @default.
- W2171121244 hasConceptScore W2171121244C71924100 @default.
- W2171121244 hasConceptScore W2171121244C80444323 @default.
- W2171121244 hasConceptScore W2171121244C90483712 @default.
- W2171121244 hasConceptScore W2171121244C97355855 @default.
- W2171121244 hasLocation W21711212441 @default.
- W2171121244 hasOpenAccess W2171121244 @default.
- W2171121244 hasPrimaryLocation W21711212441 @default.
- W2171121244 hasRelatedWork W1527862632 @default.
- W2171121244 hasRelatedWork W1652311832 @default.
- W2171121244 hasRelatedWork W2118300983 @default.
- W2171121244 hasRelatedWork W2135396778 @default.
- W2171121244 hasRelatedWork W2166247150 @default.
- W2171121244 hasRelatedWork W2243428364 @default.
- W2171121244 hasRelatedWork W2462453872 @default.
- W2171121244 hasRelatedWork W3207171446 @default.
- W2171121244 hasRelatedWork W4243252198 @default.
- W2171121244 hasRelatedWork W4245713008 @default.
- W2171121244 isParatext "false" @default.
- W2171121244 isRetracted "false" @default.
- W2171121244 magId "2171121244" @default.
- W2171121244 workType "book-chapter" @default.