Assumption/guarantee specifications in linear-time temporal logic (Q671674): 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 @@
+A logical view of composition
@@ Property / cites work: A logical view of composition / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680252
@@ Property / cites work: Q3680252 / rank @@
+Normal rank
@@ Property / cites work @@
+Application of the composition principle to unity-like specifications
+Normal rank
@@ Property / cites work @@
+Q3359774
@@ Property / cites work: Q3359774 / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256654
@@ Property / cites work: Q4256654 / rank @@
+Normal rank