Assumption/guarantee specifications in linear-time temporal logic (Q671674): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(96)00069-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2001219520
@@ Property / OpenAlex ID: W2001219520 / 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 @@
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:671674