A wide-spectrum language for object-based development of real-time systems (Q1961818): Difference between revisions

@@ Property / cites work @@
+Q2761710
@@ Property / cites work: Q2761710 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q2761706
@@ Property / cites work: Q2761706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251123
@@ Property / cites work: Q4251123 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835262
@@ Property / cites work: Q4835262 / rank @@
+Normal rank
@@ Property / cites work @@
+A wide-spectrum language for object-based development of real-time systems
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3039150
@@ Property / cites work: Q3039150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870822
@@ Property / cites work: Q4870822 / rank @@
+Normal rank
@@ Property / cites work @@
+Recoverability of Communication Protocols--Implications of a Theoretical Study
+Normal rank
@@ Property / cites work @@
+A specification-oriented semantics for the refinement of real-time systems
+Normal rank
@@ Property / cites work @@
+Richer types for \(Z\)
@@ Property / cites work: Richer types for \(Z\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036565
@@ Property / cites work: Q4036565 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank