Matches in SemOpenAlex for { <https://semopenalex.org/work/W2260820808> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2260820808 abstract "This thesis is concerned with the specification of and reasoning about highly dynamic forms of concurrent computations. The goals are modularity and dependability. The vehicle is a set of new abstract programming constructs and a notation one can use to reason about computations using an assertional-style logic. The principal areas of applicability are mobile computing and dynamically reconfigurable architectures.Synchronization is a very common form of interaction in concurrent systems. Because most models of computing provide only static synchronization, which is unlikely to apply to dynamic systems, I developed a framework in which synchrony among atomic actions is expressed in terms of a predicate specifying whether a group of actions can be executed together in a given state of the computation. The framework includes an assertional proof logic which can be used for dynamic systems as well as for algorithms expressed in another model of computing whose synchronization mechanism is represented by an appropriate predicate. This feature is illustrated on two models which lack an assertional proof logic.Another common form of interaction is data sharing. I define a new paradigm, transient data sharing, which allows changes in which variables share some common data during a computation. The resulting new construct provides a modular approach to specifying and reasoning about dynamic environments, and in particular mobile computing. The notation is a direct extension of that used in the UNITY model, and reasoning about mobile computations relies on that model's proof logic. Several examples are used to explain the notation, demonstrate the modularity of the approach, and illustrate the verification methodology." @default.
- W2260820808 created "2016-06-24" @default.
- W2260820808 creator A5081211347 @default.
- W2260820808 date "1995-01-02" @default.
- W2260820808 modified "2023-09-25" @default.
- W2260820808 title "Expressing dynamic interaction patterns in concurrent programming" @default.
- W2260820808 hasPublicationYear "1995" @default.
- W2260820808 type Work @default.
- W2260820808 sameAs 2260820808 @default.
- W2260820808 citedByCount "0" @default.
- W2260820808 crossrefType "journal-article" @default.
- W2260820808 hasAuthorship W2260820808A5081211347 @default.
- W2260820808 hasConcept C193702766 @default.
- W2260820808 hasConcept C199360897 @default.
- W2260820808 hasConcept C33923547 @default.
- W2260820808 hasConcept C41008148 @default.
- W2260820808 hasConcept C45357846 @default.
- W2260820808 hasConcept C80444323 @default.
- W2260820808 hasConcept C94375191 @default.
- W2260820808 hasConceptScore W2260820808C193702766 @default.
- W2260820808 hasConceptScore W2260820808C199360897 @default.
- W2260820808 hasConceptScore W2260820808C33923547 @default.
- W2260820808 hasConceptScore W2260820808C41008148 @default.
- W2260820808 hasConceptScore W2260820808C45357846 @default.
- W2260820808 hasConceptScore W2260820808C80444323 @default.
- W2260820808 hasConceptScore W2260820808C94375191 @default.
- W2260820808 hasLocation W22608208081 @default.
- W2260820808 hasOpenAccess W2260820808 @default.
- W2260820808 hasPrimaryLocation W22608208081 @default.
- W2260820808 hasRelatedWork W1496330206 @default.
- W2260820808 hasRelatedWork W1550032860 @default.
- W2260820808 hasRelatedWork W1885203194 @default.
- W2260820808 hasRelatedWork W1985782394 @default.
- W2260820808 hasRelatedWork W1999689636 @default.
- W2260820808 hasRelatedWork W202977889 @default.
- W2260820808 hasRelatedWork W2051068608 @default.
- W2260820808 hasRelatedWork W2102872432 @default.
- W2260820808 hasRelatedWork W2113015655 @default.
- W2260820808 hasRelatedWork W2128692004 @default.
- W2260820808 hasRelatedWork W2153616422 @default.
- W2260820808 hasRelatedWork W2394934717 @default.
- W2260820808 hasRelatedWork W2549142495 @default.
- W2260820808 hasRelatedWork W2564648803 @default.
- W2260820808 hasRelatedWork W2597460389 @default.
- W2260820808 hasRelatedWork W2604670213 @default.
- W2260820808 hasRelatedWork W2970266519 @default.
- W2260820808 hasRelatedWork W329987150 @default.
- W2260820808 hasRelatedWork W72832420 @default.
- W2260820808 hasRelatedWork W74229498 @default.
- W2260820808 isParatext "false" @default.
- W2260820808 isRetracted "false" @default.
- W2260820808 magId "2260820808" @default.
- W2260820808 workType "article" @default.