Interpreting message flow graphs (Q1904641): Difference between revisions

@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying temporal properties without temporal logic
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Hybrid dynamical systems theory and the Signal language
+Normal rank
@@ Property / cites work @@
+Synchronous programming with events and relations: The SIGNAL language and its semantics
+Normal rank
@@ Property / cites work @@
+Formal definition and representation of interaction points
+Normal rank
@@ Property / cites work @@
+Temporal logic and applications—a tutorial
@@ Property / cites work: Temporal logic and applications—a tutorial / rank @@
+Normal rank
@@ Property / cites work @@
+Using partial orders for the efficient verification of deadlock freedom and safety properties
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting message flow graphs
@@ Property / cites work: Interpreting message flow graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997282
@@ Property / cites work: Q3997282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4292252
@@ Property / cites work: Q4292252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835262
@@ Property / cites work: Q4835262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4319638
@@ Property / cites work: Q4319638 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698335
@@ Property / cites work: Q4698335 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank