Matches in SemOpenAlex for { <https://semopenalex.org/work/W1595768430> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1595768430 endingPage "718" @default.
- W1595768430 startingPage "703" @default.
- W1595768430 abstract "We propose a specification language for shared-variable concurrent programs based on Morgan's specification statement [Mor89]. A denotational semantics is given in terms of transition traces (sequences of pairs of states) following [Bro93]. A context-sensitive notion of approximation between specifications is presented which permits modular verification through stepwise program transformation. We argue that the resulting framework also supports program development through stepwise refinement.KeywordsModel CheckFinite State MachineLinear Temporal LogicPartial ProgramLinear Time Temporal LogicThese 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.
- W1595768430 created "2016-06-24" @default.
- W1595768430 creator A5072274322 @default.
- W1595768430 date "1996-01-01" @default.
- W1595768430 modified "2023-09-25" @default.
- W1595768430 title "Modular verification for shared-variable concurrent programs" @default.
- W1595768430 cites W1595768430 @default.
- W1595768430 cites W1604627363 @default.
- W1595768430 cites W1964727056 @default.
- W1595768430 cites W1975155342 @default.
- W1595768430 cites W2011444209 @default.
- W1595768430 cites W2038814435 @default.
- W1595768430 cites W2061841985 @default.
- W1595768430 cites W2071748540 @default.
- W1595768430 cites W2087713039 @default.
- W1595768430 cites W2130025446 @default.
- W1595768430 cites W2140926706 @default.
- W1595768430 cites W2293400264 @default.
- W1595768430 cites W4238875431 @default.
- W1595768430 doi "https://doi.org/10.1007/3-540-61604-7_85" @default.
- W1595768430 hasPublicationYear "1996" @default.
- W1595768430 type Work @default.
- W1595768430 sameAs 1595768430 @default.
- W1595768430 citedByCount "2" @default.
- W1595768430 crossrefType "book-chapter" @default.
- W1595768430 hasAuthorship W1595768430A5072274322 @default.
- W1595768430 hasConcept C101468663 @default.
- W1595768430 hasConcept C104317684 @default.
- W1595768430 hasConcept C134306372 @default.
- W1595768430 hasConcept C151730666 @default.
- W1595768430 hasConcept C156325763 @default.
- W1595768430 hasConcept C17744445 @default.
- W1595768430 hasConcept C182365436 @default.
- W1595768430 hasConcept C184337299 @default.
- W1595768430 hasConcept C185592680 @default.
- W1595768430 hasConcept C199360897 @default.
- W1595768430 hasConcept C199539241 @default.
- W1595768430 hasConcept C204241405 @default.
- W1595768430 hasConcept C207648694 @default.
- W1595768430 hasConcept C2777026412 @default.
- W1595768430 hasConcept C2778361913 @default.
- W1595768430 hasConcept C2779167558 @default.
- W1595768430 hasConcept C2779343474 @default.
- W1595768430 hasConcept C33923547 @default.
- W1595768430 hasConcept C41008148 @default.
- W1595768430 hasConcept C55493867 @default.
- W1595768430 hasConcept C80444323 @default.
- W1595768430 hasConcept C86803240 @default.
- W1595768430 hasConcept C98045186 @default.
- W1595768430 hasConceptScore W1595768430C101468663 @default.
- W1595768430 hasConceptScore W1595768430C104317684 @default.
- W1595768430 hasConceptScore W1595768430C134306372 @default.
- W1595768430 hasConceptScore W1595768430C151730666 @default.
- W1595768430 hasConceptScore W1595768430C156325763 @default.
- W1595768430 hasConceptScore W1595768430C17744445 @default.
- W1595768430 hasConceptScore W1595768430C182365436 @default.
- W1595768430 hasConceptScore W1595768430C184337299 @default.
- W1595768430 hasConceptScore W1595768430C185592680 @default.
- W1595768430 hasConceptScore W1595768430C199360897 @default.
- W1595768430 hasConceptScore W1595768430C199539241 @default.
- W1595768430 hasConceptScore W1595768430C204241405 @default.
- W1595768430 hasConceptScore W1595768430C207648694 @default.
- W1595768430 hasConceptScore W1595768430C2777026412 @default.
- W1595768430 hasConceptScore W1595768430C2778361913 @default.
- W1595768430 hasConceptScore W1595768430C2779167558 @default.
- W1595768430 hasConceptScore W1595768430C2779343474 @default.
- W1595768430 hasConceptScore W1595768430C33923547 @default.
- W1595768430 hasConceptScore W1595768430C41008148 @default.
- W1595768430 hasConceptScore W1595768430C55493867 @default.
- W1595768430 hasConceptScore W1595768430C80444323 @default.
- W1595768430 hasConceptScore W1595768430C86803240 @default.
- W1595768430 hasConceptScore W1595768430C98045186 @default.
- W1595768430 hasLocation W15957684301 @default.
- W1595768430 hasOpenAccess W1595768430 @default.
- W1595768430 hasPrimaryLocation W15957684301 @default.
- W1595768430 hasRelatedWork W1494714697 @default.
- W1595768430 hasRelatedWork W1500465483 @default.
- W1595768430 hasRelatedWork W1570795131 @default.
- W1595768430 hasRelatedWork W1595768430 @default.
- W1595768430 hasRelatedWork W2364990290 @default.
- W1595768430 hasRelatedWork W3004745453 @default.
- W1595768430 hasRelatedWork W4287870994 @default.
- W1595768430 hasRelatedWork W75631880 @default.
- W1595768430 hasRelatedWork W1958334269 @default.
- W1595768430 hasRelatedWork W2523902456 @default.
- W1595768430 isParatext "false" @default.
- W1595768430 isRetracted "false" @default.
- W1595768430 magId "1595768430" @default.
- W1595768430 workType "book-chapter" @default.