Matches in SemOpenAlex for { <https://semopenalex.org/work/W50233445> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W50233445 abstract "This is the first in a series of reports describing the application of temporal logic to the specification and verification of concurrent programs. We first introduce temporal logic as a tool for reasoning about sequences of states. Models of concurrent programs based both on transition graphs and on linear-text representations are presented and the notions of concurrent and fair executions are defined. The general temporal language is then specialized to reason aboaut those execution sequences that are fair computations of a concurrent program. Subsequently, the language is used to describe properties of concurrent programs. The set of interesting properties is classified into invariance (safety), eventuality (liveness), and precedence (until) properties. Among the properties studied are: partial correctness, global invariance, clean behavior, mutual exclusion, absence of deadlock, termination, total correctness, intermittent assertions, accessibility, responsiveness, safe liveness, absence of unsolicited response, fair responsiveness, and precedence. In the following reports of this series, we will use the temporal formalism to develop proof methodologies for proving the properties discussed here." @default.
- W50233445 created "2016-06-24" @default.
- W50233445 creator A5034436241 @default.
- W50233445 creator A5078214635 @default.
- W50233445 date "1981-06-01" @default.
- W50233445 modified "2023-09-28" @default.
- W50233445 title "Verification of Concurrent Programs. Part I. The Temporal Framework," @default.
- W50233445 cites W1586491492 @default.
- W50233445 cites W1970603830 @default.
- W50233445 cites W1994350081 @default.
- W50233445 cites W2012220159 @default.
- W50233445 cites W2023808162 @default.
- W50233445 cites W2078250023 @default.
- W50233445 cites W2098171268 @default.
- W50233445 cites W2123596219 @default.
- W50233445 cites W2132334337 @default.
- W50233445 cites W2157319504 @default.
- W50233445 cites W2163751633 @default.
- W50233445 cites W2166656159 @default.
- W50233445 cites W65870310 @default.
- W50233445 doi "https://doi.org/10.21236/ada106750" @default.
- W50233445 hasPublicationYear "1981" @default.
- W50233445 type Work @default.
- W50233445 sameAs 50233445 @default.
- W50233445 citedByCount "190" @default.
- W50233445 countsByYear W502334452012 @default.
- W50233445 countsByYear W502334452013 @default.
- W50233445 countsByYear W502334452014 @default.
- W50233445 countsByYear W502334452016 @default.
- W50233445 countsByYear W502334452020 @default.
- W50233445 countsByYear W502334452022 @default.
- W50233445 crossrefType "report" @default.
- W50233445 hasAuthorship W50233445A5034436241 @default.
- W50233445 hasAuthorship W50233445A5078214635 @default.
- W50233445 hasConcept C199360897 @default.
- W50233445 hasConcept C41008148 @default.
- W50233445 hasConceptScore W50233445C199360897 @default.
- W50233445 hasConceptScore W50233445C41008148 @default.
- W50233445 hasLocation W502334451 @default.
- W50233445 hasOpenAccess W50233445 @default.
- W50233445 hasPrimaryLocation W502334451 @default.
- W50233445 hasRelatedWork W1527862632 @default.
- W50233445 hasRelatedWork W2112962394 @default.
- W50233445 hasRelatedWork W2118300983 @default.
- W50233445 hasRelatedWork W2135396778 @default.
- W50233445 hasRelatedWork W2382501300 @default.
- W50233445 hasRelatedWork W2740990710 @default.
- W50233445 hasRelatedWork W3137189469 @default.
- W50233445 hasRelatedWork W3162240892 @default.
- W50233445 hasRelatedWork W4235530921 @default.
- W50233445 hasRelatedWork W4243252198 @default.
- W50233445 isParatext "false" @default.
- W50233445 isRetracted "false" @default.
- W50233445 magId "50233445" @default.
- W50233445 workType "report" @default.