On using temporal logic for refinement and compositional verification of concurrent systems (Q674008): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A logical view of composition
@@ Property / cites work: A logical view of composition / rank @@
+Normal rank
@@ Property / cites work @@
+Q3812210
@@ Property / cites work: Q3812210 / rank @@
+Normal rank
@@ Property / cites work @@
+The ''Hoare logic'' of concurrent programs
@@ Property / cites work: The ''Hoare logic'' of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying Concurrent Program Modules
@@ Property / cites work: Specifying Concurrent Program Modules / rank @@
+Normal rank
@@ Property / cites work @@
+The Weak Byzantine Generals Problem
@@ Property / cites work: The Weak Byzantine Generals Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711745
@@ Property / cites work: Q3711745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733399
@@ Property / cites work: Q4733399 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4745241
@@ Property / cites work: Q4745241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518435
@@ Property / cites work: Q4518435 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Q4187287
@@ Property / cites work: Q4187287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256654
@@ Property / cites work: Q4256654 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
+Normal rank