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

@@ Property / describes a project that uses @@
+RT-ASLAN
@@ Property / describes a project that uses: RT-ASLAN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0020-0255(99)00039-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1979086766
@@ Property / OpenAlex ID: W1979086766 / rank @@
+Normal rank