Matches in SemOpenAlex for { <https://semopenalex.org/work/W1602114053> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W1602114053 endingPage "323" @default.
- W1602114053 startingPage "314" @default.
- W1602114053 abstract "The parallel language CSP [9], an earlier version of which was described in [7], has become a major tool for the analysis of structuring methods and proof systems involving parallelism. The significance of CSP is in the elegance by which a few simply stated constructs (e.g., sequential and parallel composition, nondeterministic choice, concealment, and recursion) lead to a language capable of expressing the full complexity of distributed computing. The difficulty in achieving satisfactory semantic models containing these constructs has been in providing an adequate treatment of nondeterminism, deadlock, and divergence. Fortunately, as a result of an evolutionay development in [S], [lo], [15], [l], [14], [2], and [4] we now have several such models. The purpose of this paper is to report the development of the first real-time models of CSP to be compatible with the properties and proof systems of the abovementioned untimed models. Our objective in this development is the construction of a timed CSP model which satisfies the following: (1) Continuous with respect to time. The time domain should consist of all nonnegative real numbers, and there should be no lower bound on the time difference between consecutive observable events from two processes operating asynchronously in parallel. (2) Realistic. A given process should engage in only finitely many events in a bounded period of time. (3) Continuous and distributive with respect to semantic operators. All semantic operators should be continuous, and all the basic operators as defined in [2], except recursion, should distribute over nondeterministic choice. (4) Verijiable design. The model should provide a basis for the definition, specification, and verification of time critical processes with an adequate treatment of nondeterminism, which assists in avoidance of deadlock and divergence." @default.
- W1602114053 created "2016-06-24" @default.
- W1602114053 creator A5014479987 @default.
- W1602114053 creator A5045639409 @default.
- W1602114053 date "1986-01-01" @default.
- W1602114053 modified "2023-10-01" @default.
- W1602114053 title "A timed model for communicating sequential processes" @default.
- W1602114053 cites W1581774065 @default.
- W1602114053 cites W1992072860 @default.
- W1602114053 cites W2003773532 @default.
- W1602114053 cites W2102097307 @default.
- W1602114053 cites W2140920629 @default.
- W1602114053 cites W4211008702 @default.
- W1602114053 cites W1504723768 @default.
- W1602114053 doi "https://doi.org/10.1007/3-540-16761-7_81" @default.
- W1602114053 hasPublicationYear "1986" @default.
- W1602114053 type Work @default.
- W1602114053 sameAs 1602114053 @default.
- W1602114053 citedByCount "139" @default.
- W1602114053 countsByYear W16021140532012 @default.
- W1602114053 countsByYear W16021140532013 @default.
- W1602114053 countsByYear W16021140532015 @default.
- W1602114053 countsByYear W16021140532016 @default.
- W1602114053 countsByYear W16021140532018 @default.
- W1602114053 crossrefType "book-chapter" @default.
- W1602114053 hasAuthorship W1602114053A5014479987 @default.
- W1602114053 hasAuthorship W1602114053A5045639409 @default.
- W1602114053 hasBestOaLocation W16021140532 @default.
- W1602114053 hasConcept C41008148 @default.
- W1602114053 hasConceptScore W1602114053C41008148 @default.
- W1602114053 hasLocation W16021140531 @default.
- W1602114053 hasLocation W16021140532 @default.
- W1602114053 hasLocation W16021140533 @default.
- W1602114053 hasLocation W16021140534 @default.
- W1602114053 hasOpenAccess W1602114053 @default.
- W1602114053 hasPrimaryLocation W16021140531 @default.
- W1602114053 hasRelatedWork W1596801655 @default.
- W1602114053 hasRelatedWork W2130043461 @default.
- W1602114053 hasRelatedWork W2350741829 @default.
- W1602114053 hasRelatedWork W2358668433 @default.
- W1602114053 hasRelatedWork W2376932109 @default.
- W1602114053 hasRelatedWork W2382290278 @default.
- W1602114053 hasRelatedWork W2390279801 @default.
- W1602114053 hasRelatedWork W2748952813 @default.
- W1602114053 hasRelatedWork W2899084033 @default.
- W1602114053 hasRelatedWork W2530322880 @default.
- W1602114053 isParatext "false" @default.
- W1602114053 isRetracted "false" @default.
- W1602114053 magId "1602114053" @default.
- W1602114053 workType "book-chapter" @default.