Matches in SemOpenAlex for { <https://semopenalex.org/work/W2915002883> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2915002883 endingPage "38" @default.
- W2915002883 startingPage "23" @default.
- W2915002883 abstract "In this paper we use the concept of resource cumulation to model various forms of computation. The space of cumulations (called a cumulator) is simply represented as a five tuple consisting of a well-founded partial order, a monoid and a volume function. The volume function is introduced to simplify reasoning about limit points and other topological properties. A specification command is a set of cumulations. Typical phenomena of concurrency such as reactiveness, safety and liveness, fairness, real time and branching time naturally arise from the model. In order to support a programming theory, we introduce a specification language that incorporates sequentiality, nondeterminism, simple parallelism, negation and general recursions. A new fixpoint technique is used to model general recursions. The language is applied to the case study on CSP, which becomes a special model of cumulative computing with a combination of four resource cumulators of alphabet, termination, trace and refusal. All laws of cumulative computing are also valid for CSP and the generalization from CSP to Timed CSP can be achieved by simply combining the four cumulators with real time. Loops whose bodies may take zero time can then be modeled more satisfactorily." @default.
- W2915002883 created "2019-02-21" @default.
- W2915002883 creator A5051578642 @default.
- W2915002883 date "2003-01-01" @default.
- W2915002883 modified "2023-10-14" @default.
- W2915002883 title "Cumulative Computing" @default.
- W2915002883 cites W1494422179 @default.
- W2915002883 cites W151922429 @default.
- W2915002883 cites W1522318966 @default.
- W2915002883 cites W1780939472 @default.
- W2915002883 cites W2010698657 @default.
- W2915002883 cites W2015688007 @default.
- W2915002883 cites W2045271686 @default.
- W2915002883 cites W2046213250 @default.
- W2915002883 cites W2111092677 @default.
- W2915002883 cites W2126860147 @default.
- W2915002883 cites W2911865844 @default.
- W2915002883 doi "https://doi.org/10.1016/s1571-0661(03)50002-0" @default.
- W2915002883 hasPublicationYear "2003" @default.
- W2915002883 type Work @default.
- W2915002883 sameAs 2915002883 @default.
- W2915002883 citedByCount "0" @default.
- W2915002883 crossrefType "journal-article" @default.
- W2915002883 hasAuthorship W2915002883A5051578642 @default.
- W2915002883 hasBestOaLocation W29150028831 @default.
- W2915002883 hasConcept C11413529 @default.
- W2915002883 hasConcept C118615104 @default.
- W2915002883 hasConcept C118930307 @default.
- W2915002883 hasConcept C138885662 @default.
- W2915002883 hasConcept C15569618 @default.
- W2915002883 hasConcept C193702766 @default.
- W2915002883 hasConcept C199360897 @default.
- W2915002883 hasConcept C33923547 @default.
- W2915002883 hasConcept C41008148 @default.
- W2915002883 hasConcept C41895202 @default.
- W2915002883 hasConcept C75291252 @default.
- W2915002883 hasConcept C80444323 @default.
- W2915002883 hasConceptScore W2915002883C11413529 @default.
- W2915002883 hasConceptScore W2915002883C118615104 @default.
- W2915002883 hasConceptScore W2915002883C118930307 @default.
- W2915002883 hasConceptScore W2915002883C138885662 @default.
- W2915002883 hasConceptScore W2915002883C15569618 @default.
- W2915002883 hasConceptScore W2915002883C193702766 @default.
- W2915002883 hasConceptScore W2915002883C199360897 @default.
- W2915002883 hasConceptScore W2915002883C33923547 @default.
- W2915002883 hasConceptScore W2915002883C41008148 @default.
- W2915002883 hasConceptScore W2915002883C41895202 @default.
- W2915002883 hasConceptScore W2915002883C75291252 @default.
- W2915002883 hasConceptScore W2915002883C80444323 @default.
- W2915002883 hasLocation W29150028831 @default.
- W2915002883 hasOpenAccess W2915002883 @default.
- W2915002883 hasPrimaryLocation W29150028831 @default.
- W2915002883 hasRelatedWork W1589913369 @default.
- W2915002883 hasRelatedWork W1791642940 @default.
- W2915002883 hasRelatedWork W1853387635 @default.
- W2915002883 hasRelatedWork W192823304 @default.
- W2915002883 hasRelatedWork W2133124698 @default.
- W2915002883 hasRelatedWork W2151898527 @default.
- W2915002883 hasRelatedWork W2740990710 @default.
- W2915002883 hasRelatedWork W2897631772 @default.
- W2915002883 hasRelatedWork W4233783224 @default.
- W2915002883 hasRelatedWork W92182354 @default.
- W2915002883 hasVolume "83" @default.
- W2915002883 isParatext "false" @default.
- W2915002883 isRetracted "false" @default.
- W2915002883 magId "2915002883" @default.
- W2915002883 workType "article" @default.