Matches in SemOpenAlex for { <https://semopenalex.org/work/W2613112560> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2613112560 endingPage "17" @default.
- W2613112560 startingPage "3" @default.
- W2613112560 abstract "This paper proposes a parallel programming notation and a method of reasoning about programs with the following characteristics: (1) Parallel Composition The notation provides different forms of interfaces between processes; the more restrictive the interface, the simpler the proofs of process composition. A flexible interface is that of cooperating processes with a shared address space; proofs of programs that use this interface are based on non-interference [OG76] and temporal logic [Pnu81,CM88, Lam9l]. We also propose more restrictive interfaces and specifications that allow us to use the following specificattion rule: the strongest specification of a parallel composition of processes is the conjunction of the strongest specifications of its components. This rule is helpful in deriving parallel programs. (2) Determinism A process that does not use certain primitives of the notation is guaranteed to be deterministic. Programmers who wish to prove that their programs are deterministic are relieved of this proof obligation if they restrict their programs to a certain subset of the primitives." @default.
- W2613112560 created "2017-05-19" @default.
- W2613112560 creator A5033569113 @default.
- W2613112560 creator A5089587575 @default.
- W2613112560 date "1992-01-01" @default.
- W2613112560 modified "2023-09-28" @default.
- W2613112560 title "The Derivation of Compositional Programs." @default.
- W2613112560 hasPublicationYear "1992" @default.
- W2613112560 type Work @default.
- W2613112560 sameAs 2613112560 @default.
- W2613112560 citedByCount "4" @default.
- W2613112560 countsByYear W26131125602012 @default.
- W2613112560 crossrefType "journal-article" @default.
- W2613112560 hasAuthorship W2613112560A5033569113 @default.
- W2613112560 hasAuthorship W2613112560A5089587575 @default.
- W2613112560 hasConcept C108710211 @default.
- W2613112560 hasConcept C113843644 @default.
- W2613112560 hasConcept C129307140 @default.
- W2613112560 hasConcept C138885662 @default.
- W2613112560 hasConcept C155214134 @default.
- W2613112560 hasConcept C156325763 @default.
- W2613112560 hasConcept C157915830 @default.
- W2613112560 hasConcept C173608175 @default.
- W2613112560 hasConcept C184337299 @default.
- W2613112560 hasConcept C199360897 @default.
- W2613112560 hasConcept C2524010 @default.
- W2613112560 hasConcept C33923547 @default.
- W2613112560 hasConcept C40231798 @default.
- W2613112560 hasConcept C41008148 @default.
- W2613112560 hasConcept C41895202 @default.
- W2613112560 hasConcept C45357846 @default.
- W2613112560 hasConcept C80444323 @default.
- W2613112560 hasConcept C94375191 @default.
- W2613112560 hasConcept C98045186 @default.
- W2613112560 hasConceptScore W2613112560C108710211 @default.
- W2613112560 hasConceptScore W2613112560C113843644 @default.
- W2613112560 hasConceptScore W2613112560C129307140 @default.
- W2613112560 hasConceptScore W2613112560C138885662 @default.
- W2613112560 hasConceptScore W2613112560C155214134 @default.
- W2613112560 hasConceptScore W2613112560C156325763 @default.
- W2613112560 hasConceptScore W2613112560C157915830 @default.
- W2613112560 hasConceptScore W2613112560C173608175 @default.
- W2613112560 hasConceptScore W2613112560C184337299 @default.
- W2613112560 hasConceptScore W2613112560C199360897 @default.
- W2613112560 hasConceptScore W2613112560C2524010 @default.
- W2613112560 hasConceptScore W2613112560C33923547 @default.
- W2613112560 hasConceptScore W2613112560C40231798 @default.
- W2613112560 hasConceptScore W2613112560C41008148 @default.
- W2613112560 hasConceptScore W2613112560C41895202 @default.
- W2613112560 hasConceptScore W2613112560C45357846 @default.
- W2613112560 hasConceptScore W2613112560C80444323 @default.
- W2613112560 hasConceptScore W2613112560C94375191 @default.
- W2613112560 hasConceptScore W2613112560C98045186 @default.
- W2613112560 hasLocation W26131125601 @default.
- W2613112560 hasOpenAccess W2613112560 @default.
- W2613112560 hasPrimaryLocation W26131125601 @default.
- W2613112560 hasRelatedWork W114273005 @default.
- W2613112560 hasRelatedWork W1480526257 @default.
- W2613112560 hasRelatedWork W1501801102 @default.
- W2613112560 hasRelatedWork W1550435668 @default.
- W2613112560 hasRelatedWork W1592922501 @default.
- W2613112560 hasRelatedWork W1714514560 @default.
- W2613112560 hasRelatedWork W1970558816 @default.
- W2613112560 hasRelatedWork W2006916249 @default.
- W2613112560 hasRelatedWork W2037008576 @default.
- W2613112560 hasRelatedWork W2076084917 @default.
- W2613112560 hasRelatedWork W2082517951 @default.
- W2613112560 hasRelatedWork W2119897009 @default.
- W2613112560 hasRelatedWork W2166482687 @default.
- W2613112560 hasRelatedWork W2427828726 @default.
- W2613112560 hasRelatedWork W2613539780 @default.
- W2613112560 hasRelatedWork W2951332957 @default.
- W2613112560 hasRelatedWork W3153601746 @default.
- W2613112560 hasRelatedWork W979826707 @default.
- W2613112560 hasRelatedWork W1736269899 @default.
- W2613112560 hasRelatedWork W2985444644 @default.
- W2613112560 isParatext "false" @default.
- W2613112560 isRetracted "false" @default.
- W2613112560 magId "2613112560" @default.
- W2613112560 workType "article" @default.