Specifying modules to satisfy interfaces: A state transition system approach (Q1193606): Difference between revisions

@@ 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 @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Protocol Verification via Projections
@@ Property / cites work: Protocol Verification via Projections / rank @@
+Normal rank
@@ Property / cites work @@
+An assertional correctness proof of a distributed algorithm
+Normal rank
@@ Property / cites work @@
+Q3814780
@@ Property / cites work: Q3814780 / rank @@
+Normal rank
@@ Property / cites work @@
+Adequate proof principles for invariance and liveness properties of concurrent programs
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank