Matches in SemOpenAlex for { <https://semopenalex.org/work/W2387472410> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2387472410 abstract "In [1] Hoare suggests a notation of assertions to describe the total correctness of communicating processes and a calculus for proving it. But the problem of the consistency of calculus is left open in that paper. In this paper we give an operational model to communicating processes and present two variants of the calculus, which are consistent with the model. One of them cannot deal with livelock, while the other one does. The paper consists of two parts. The first part is to develop the operational model, and, with this model, the second part indicates the soundness of the calculi." @default.
- W2387472410 created "2016-06-24" @default.
- W2387472410 creator A5031724085 @default.
- W2387472410 date "1986-01-01" @default.
- W2387472410 modified "2023-09-25" @default.
- W2387472410 title "CONSISTENCY OF CALCULUS OF TOTAL CORRECTNESS FOR COMMUNICATING PROCESSES (I)" @default.
- W2387472410 hasPublicationYear "1986" @default.
- W2387472410 type Work @default.
- W2387472410 sameAs 2387472410 @default.
- W2387472410 citedByCount "0" @default.
- W2387472410 crossrefType "journal-article" @default.
- W2387472410 hasAuthorship W2387472410A5031724085 @default.
- W2387472410 hasConcept C154945302 @default.
- W2387472410 hasConcept C155214134 @default.
- W2387472410 hasConcept C156325763 @default.
- W2387472410 hasConcept C161771561 @default.
- W2387472410 hasConcept C184337299 @default.
- W2387472410 hasConcept C199343813 @default.
- W2387472410 hasConcept C199360897 @default.
- W2387472410 hasConcept C2776436953 @default.
- W2387472410 hasConcept C2777686260 @default.
- W2387472410 hasConcept C2984882572 @default.
- W2387472410 hasConcept C33923547 @default.
- W2387472410 hasConcept C39920170 @default.
- W2387472410 hasConcept C41008148 @default.
- W2387472410 hasConcept C45357846 @default.
- W2387472410 hasConcept C55439883 @default.
- W2387472410 hasConcept C71924100 @default.
- W2387472410 hasConcept C94375191 @default.
- W2387472410 hasConceptScore W2387472410C154945302 @default.
- W2387472410 hasConceptScore W2387472410C155214134 @default.
- W2387472410 hasConceptScore W2387472410C156325763 @default.
- W2387472410 hasConceptScore W2387472410C161771561 @default.
- W2387472410 hasConceptScore W2387472410C184337299 @default.
- W2387472410 hasConceptScore W2387472410C199343813 @default.
- W2387472410 hasConceptScore W2387472410C199360897 @default.
- W2387472410 hasConceptScore W2387472410C2776436953 @default.
- W2387472410 hasConceptScore W2387472410C2777686260 @default.
- W2387472410 hasConceptScore W2387472410C2984882572 @default.
- W2387472410 hasConceptScore W2387472410C33923547 @default.
- W2387472410 hasConceptScore W2387472410C39920170 @default.
- W2387472410 hasConceptScore W2387472410C41008148 @default.
- W2387472410 hasConceptScore W2387472410C45357846 @default.
- W2387472410 hasConceptScore W2387472410C55439883 @default.
- W2387472410 hasConceptScore W2387472410C71924100 @default.
- W2387472410 hasConceptScore W2387472410C94375191 @default.
- W2387472410 hasLocation W23874724101 @default.
- W2387472410 hasOpenAccess W2387472410 @default.
- W2387472410 hasPrimaryLocation W23874724101 @default.
- W2387472410 hasRelatedWork W1499101893 @default.
- W2387472410 hasRelatedWork W1547500728 @default.
- W2387472410 hasRelatedWork W1587700332 @default.
- W2387472410 hasRelatedWork W1789824541 @default.
- W2387472410 hasRelatedWork W1791168610 @default.
- W2387472410 hasRelatedWork W1793624247 @default.
- W2387472410 hasRelatedWork W193973472 @default.
- W2387472410 hasRelatedWork W1986431768 @default.
- W2387472410 hasRelatedWork W1995106258 @default.
- W2387472410 hasRelatedWork W2017139738 @default.
- W2387472410 hasRelatedWork W2045424609 @default.
- W2387472410 hasRelatedWork W2082763846 @default.
- W2387472410 hasRelatedWork W2083916702 @default.
- W2387472410 hasRelatedWork W2108932868 @default.
- W2387472410 hasRelatedWork W2132339465 @default.
- W2387472410 hasRelatedWork W2587831345 @default.
- W2387472410 hasRelatedWork W2651775406 @default.
- W2387472410 hasRelatedWork W2960903742 @default.
- W2387472410 hasRelatedWork W3192396902 @default.
- W2387472410 hasRelatedWork W324507974 @default.
- W2387472410 isParatext "false" @default.
- W2387472410 isRetracted "false" @default.
- W2387472410 magId "2387472410" @default.
- W2387472410 workType "article" @default.