Matches in SemOpenAlex for { <https://semopenalex.org/work/W45930007> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W45930007 abstract "Distributed computing systems, including those that utilize space-based middleware, present significant challenges when attempting to reason formally about their behaviors and properties. In particular, two or more computational events may occur in parallel. We introduce View-Centric Reasoning (VCR)—a set of abstractions that comprises a general framework for reasoning about parallel and distributed computation. First we extend the CSP metaphor to support traces of parallel events, rather than the traditional random interleaving of individual events. Next we introduce the concept of views to represent explicitly the multiple possible perspectives of the same parallel computation. Finally, we consider an instance of VCR for reasoning about Gelernter’s Linda language and tuple space computation, the basis for much of today’s space-based middleware." @default.
- W45930007 created "2016-06-24" @default.
- W45930007 creator A5043448756 @default.
- W45930007 creator A5082935561 @default.
- W45930007 date "2002-01-01" @default.
- W45930007 modified "2023-09-27" @default.
- W45930007 title "VIEW-CENTRIC REASONING ABOUT SPACE-BASED MIDDLEWARE" @default.
- W45930007 cites W2161307885 @default.
- W45930007 cites W3144368627 @default.
- W45930007 cites W44158554 @default.
- W45930007 hasPublicationYear "2002" @default.
- W45930007 type Work @default.
- W45930007 sameAs 45930007 @default.
- W45930007 citedByCount "0" @default.
- W45930007 crossrefType "journal-article" @default.
- W45930007 hasAuthorship W45930007A5043448756 @default.
- W45930007 hasAuthorship W45930007A5082935561 @default.
- W45930007 hasConcept C111919701 @default.
- W45930007 hasConcept C120314980 @default.
- W45930007 hasConcept C169468491 @default.
- W45930007 hasConcept C177264268 @default.
- W45930007 hasConcept C199360897 @default.
- W45930007 hasConcept C2778572836 @default.
- W45930007 hasConcept C28034677 @default.
- W45930007 hasConcept C41008148 @default.
- W45930007 hasConcept C45374587 @default.
- W45930007 hasConcept C80444323 @default.
- W45930007 hasConceptScore W45930007C111919701 @default.
- W45930007 hasConceptScore W45930007C120314980 @default.
- W45930007 hasConceptScore W45930007C169468491 @default.
- W45930007 hasConceptScore W45930007C177264268 @default.
- W45930007 hasConceptScore W45930007C199360897 @default.
- W45930007 hasConceptScore W45930007C2778572836 @default.
- W45930007 hasConceptScore W45930007C28034677 @default.
- W45930007 hasConceptScore W45930007C41008148 @default.
- W45930007 hasConceptScore W45930007C45374587 @default.
- W45930007 hasConceptScore W45930007C80444323 @default.
- W45930007 hasLocation W459300071 @default.
- W45930007 hasOpenAccess W45930007 @default.
- W45930007 hasPrimaryLocation W459300071 @default.
- W45930007 hasRelatedWork W1549520177 @default.
- W45930007 hasRelatedWork W1571362502 @default.
- W45930007 hasRelatedWork W1823311036 @default.
- W45930007 hasRelatedWork W1846675048 @default.
- W45930007 hasRelatedWork W2021306404 @default.
- W45930007 hasRelatedWork W2099918402 @default.
- W45930007 hasRelatedWork W2116486450 @default.
- W45930007 hasRelatedWork W2121280455 @default.
- W45930007 hasRelatedWork W2126122133 @default.
- W45930007 hasRelatedWork W2131684222 @default.
- W45930007 hasRelatedWork W2137753370 @default.
- W45930007 hasRelatedWork W2161460548 @default.
- W45930007 hasRelatedWork W2349611811 @default.
- W45930007 hasRelatedWork W2355439467 @default.
- W45930007 hasRelatedWork W2357751850 @default.
- W45930007 hasRelatedWork W2392157163 @default.
- W45930007 hasRelatedWork W2392955842 @default.
- W45930007 hasRelatedWork W2534522231 @default.
- W45930007 hasRelatedWork W649212085 @default.
- W45930007 hasRelatedWork W1586444930 @default.
- W45930007 isParatext "false" @default.
- W45930007 isRetracted "false" @default.
- W45930007 magId "45930007" @default.
- W45930007 workType "article" @default.