Matches in SemOpenAlex for { <https://semopenalex.org/work/W199422062> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W199422062 abstract "The UNITY methodology has attracted wide attention because of its elegant logic for specifying and reasoning about concurrent programs. However, the UNITY examples tackled so far are much smaller in scale than the problems typically encountered in practice. The goal of this dissertation is the identification of extensions to UNITY that will enable it to be applied to significantly larger problems. To explore possible extensions, we have applied UNITY to three large-scale examples drawn from industrial applications: the I/O subsystem portion of the GCOS operating system; a distributed electronic funds-transfer system; and a telephone-switching system." @default.
- W199422062 created "2016-06-24" @default.
- W199422062 creator A5088166062 @default.
- W199422062 date "1992-08-01" @default.
- W199422062 modified "2023-09-27" @default.
- W199422062 title "Specification and Verification of Large-Scale Reactive Programs" @default.
- W199422062 hasPublicationYear "1992" @default.
- W199422062 type Work @default.
- W199422062 sameAs 199422062 @default.
- W199422062 citedByCount "2" @default.
- W199422062 crossrefType "journal-article" @default.
- W199422062 hasAuthorship W199422062A5088166062 @default.
- W199422062 hasConcept C116834253 @default.
- W199422062 hasConcept C120314980 @default.
- W199422062 hasConcept C121332964 @default.
- W199422062 hasConcept C127413603 @default.
- W199422062 hasConcept C133731056 @default.
- W199422062 hasConcept C2778755073 @default.
- W199422062 hasConcept C41008148 @default.
- W199422062 hasConcept C59822182 @default.
- W199422062 hasConcept C62520636 @default.
- W199422062 hasConcept C86803240 @default.
- W199422062 hasConceptScore W199422062C116834253 @default.
- W199422062 hasConceptScore W199422062C120314980 @default.
- W199422062 hasConceptScore W199422062C121332964 @default.
- W199422062 hasConceptScore W199422062C127413603 @default.
- W199422062 hasConceptScore W199422062C133731056 @default.
- W199422062 hasConceptScore W199422062C2778755073 @default.
- W199422062 hasConceptScore W199422062C41008148 @default.
- W199422062 hasConceptScore W199422062C59822182 @default.
- W199422062 hasConceptScore W199422062C62520636 @default.
- W199422062 hasConceptScore W199422062C86803240 @default.
- W199422062 hasLocation W1994220621 @default.
- W199422062 hasOpenAccess W199422062 @default.
- W199422062 hasPrimaryLocation W1994220621 @default.
- W199422062 hasRelatedWork W121928298 @default.
- W199422062 hasRelatedWork W1530712856 @default.
- W199422062 hasRelatedWork W1577505012 @default.
- W199422062 hasRelatedWork W2027986690 @default.
- W199422062 hasRelatedWork W2050951824 @default.
- W199422062 hasRelatedWork W2062886135 @default.
- W199422062 hasRelatedWork W2076832552 @default.
- W199422062 hasRelatedWork W2113624447 @default.
- W199422062 hasRelatedWork W2114011575 @default.
- W199422062 hasRelatedWork W2130262437 @default.
- W199422062 hasRelatedWork W2142446888 @default.
- W199422062 hasRelatedWork W2143374246 @default.
- W199422062 hasRelatedWork W2164254406 @default.
- W199422062 hasRelatedWork W248228753 @default.
- W199422062 hasRelatedWork W2499037055 @default.
- W199422062 hasRelatedWork W277405949 @default.
- W199422062 hasRelatedWork W2783662132 @default.
- W199422062 hasRelatedWork W3004288333 @default.
- W199422062 hasRelatedWork W403160604 @default.
- W199422062 hasRelatedWork W51606198 @default.
- W199422062 isParatext "false" @default.
- W199422062 isRetracted "false" @default.
- W199422062 magId "199422062" @default.
- W199422062 workType "article" @default.