A foundation for modular reasoning about safety and progress properties of state-based concurrent programs (Q1391101): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate transformers for reasoning about concurrent computation
+Normal rank
@@ Property / cites work @@
+Composition of assumption-commitment specifications in a UNITY style
+Normal rank
@@ Property / cites work @@
+Logical foundations for compositional verification and development of concurrent programs in UNITY
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+DUALITY: A simple formalism for the analysis of UNITY
+Normal rank
@@ Property / cites work @@
+Invariants, composition, and substitution
@@ Property / cites work: Invariants, composition, and substitution / rank @@
+Normal rank
@@ Property / cites work @@
+A predicate transformer for progress
@@ Property / cites work: A predicate transformer for progress / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation of concurrent programs: Two examples
@@ Property / cites work: Derivation of concurrent programs: Two examples / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+On using temporal logic for refinement and compositional verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+P-A logic - a compositional proof system for distributed programs
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating the substitution axiom from UNITY logic
+Normal rank
@@ Property / cites work @@
+Unity properties and sequences of states, some observations
+Normal rank
@@ Property / cites work @@
+Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
+Normal rank