On using temporal logic for refinement and compositional verification of concurrent systems (Q674008): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logical view of composition / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3812210 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The ''Hoare logic'' of concurrent programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Specifying Concurrent Program Modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Weak Byzantine Generals Problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3711745 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4733399 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4745241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4518435 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An axiomatic proof technique for parallel programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4187287 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3700812 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4256654 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 11:31, 27 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On using temporal logic for refinement and compositional verification of concurrent systems |
scientific article |
Statements
On using temporal logic for refinement and compositional verification of concurrent systems (English)
0 references
28 February 1997
0 references
concurrent programs
0 references
temporal logic semantics
0 references