Matches in SemOpenAlex for { <https://semopenalex.org/work/W1774065612> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1774065612 endingPage "282" @default.
- W1774065612 startingPage "267" @default.
- W1774065612 abstract "Assumption—Commitment paradigms for specification and verification of concurrent programs have been proposed in the past. We show that two typical parallel composition rules for shared variable and message passing programs [8, 12] which hitherto required different formulations are instances of one general rule mainly inspired by Abadi and Lamport’s composition theorem [1].KeywordsTemporal LogicMessage PassingProof SystemParallel CompositionConcurrent ProgramThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1774065612 created "2016-06-24" @default.
- W1774065612 creator A5005843564 @default.
- W1774065612 creator A5017835877 @default.
- W1774065612 creator A5044526025 @default.
- W1774065612 date "1994-01-01" @default.
- W1774065612 modified "2023-09-24" @default.
- W1774065612 title "On Unifying Assumption—Commitment Style Proof Rules for Concurrency" @default.
- W1774065612 cites W1567291991 @default.
- W1774065612 cites W2039277865 @default.
- W1774065612 cites W2071748540 @default.
- W1774065612 cites W2074882845 @default.
- W1774065612 cites W2090551028 @default.
- W1774065612 cites W2293400264 @default.
- W1774065612 doi "https://doi.org/10.1007/978-3-540-48654-1_22" @default.
- W1774065612 hasPublicationYear "1994" @default.
- W1774065612 type Work @default.
- W1774065612 sameAs 1774065612 @default.
- W1774065612 citedByCount "7" @default.
- W1774065612 countsByYear W17740656122014 @default.
- W1774065612 crossrefType "book-chapter" @default.
- W1774065612 hasAuthorship W1774065612A5005843564 @default.
- W1774065612 hasAuthorship W1774065612A5017835877 @default.
- W1774065612 hasAuthorship W1774065612A5044526025 @default.
- W1774065612 hasConcept C138885662 @default.
- W1774065612 hasConcept C150495011 @default.
- W1774065612 hasConcept C166957645 @default.
- W1774065612 hasConcept C193702766 @default.
- W1774065612 hasConcept C199360897 @default.
- W1774065612 hasConcept C206880738 @default.
- W1774065612 hasConcept C2776445246 @default.
- W1774065612 hasConcept C40231798 @default.
- W1774065612 hasConcept C41008148 @default.
- W1774065612 hasConcept C41895202 @default.
- W1774065612 hasConcept C75949130 @default.
- W1774065612 hasConcept C80444323 @default.
- W1774065612 hasConcept C84511453 @default.
- W1774065612 hasConcept C854659 @default.
- W1774065612 hasConcept C95457728 @default.
- W1774065612 hasConceptScore W1774065612C138885662 @default.
- W1774065612 hasConceptScore W1774065612C150495011 @default.
- W1774065612 hasConceptScore W1774065612C166957645 @default.
- W1774065612 hasConceptScore W1774065612C193702766 @default.
- W1774065612 hasConceptScore W1774065612C199360897 @default.
- W1774065612 hasConceptScore W1774065612C206880738 @default.
- W1774065612 hasConceptScore W1774065612C2776445246 @default.
- W1774065612 hasConceptScore W1774065612C40231798 @default.
- W1774065612 hasConceptScore W1774065612C41008148 @default.
- W1774065612 hasConceptScore W1774065612C41895202 @default.
- W1774065612 hasConceptScore W1774065612C75949130 @default.
- W1774065612 hasConceptScore W1774065612C80444323 @default.
- W1774065612 hasConceptScore W1774065612C84511453 @default.
- W1774065612 hasConceptScore W1774065612C854659 @default.
- W1774065612 hasConceptScore W1774065612C95457728 @default.
- W1774065612 hasLocation W17740656121 @default.
- W1774065612 hasOpenAccess W1774065612 @default.
- W1774065612 hasPrimaryLocation W17740656121 @default.
- W1774065612 hasRelatedWork W1535987901 @default.
- W1774065612 hasRelatedWork W1548068317 @default.
- W1774065612 hasRelatedWork W1557653052 @default.
- W1774065612 hasRelatedWork W1581632202 @default.
- W1774065612 hasRelatedWork W1753084406 @default.
- W1774065612 hasRelatedWork W1756169151 @default.
- W1774065612 hasRelatedWork W1776738182 @default.
- W1774065612 hasRelatedWork W1964727056 @default.
- W1774065612 hasRelatedWork W1990092944 @default.
- W1774065612 hasRelatedWork W2001219520 @default.
- W1774065612 hasRelatedWork W2009965218 @default.
- W1774065612 hasRelatedWork W2015688007 @default.
- W1774065612 hasRelatedWork W2038952689 @default.
- W1774065612 hasRelatedWork W2080942132 @default.
- W1774065612 hasRelatedWork W2090551028 @default.
- W1774065612 hasRelatedWork W2093916942 @default.
- W1774065612 hasRelatedWork W2130025446 @default.
- W1774065612 hasRelatedWork W2293400264 @default.
- W1774065612 hasRelatedWork W2296232480 @default.
- W1774065612 hasRelatedWork W3146075203 @default.
- W1774065612 isParatext "false" @default.
- W1774065612 isRetracted "false" @default.
- W1774065612 magId "1774065612" @default.
- W1774065612 workType "book-chapter" @default.