Towards Algebraic Semantics of Circus Time (Q2814616): Difference between revisions

@@ Property / cites work @@
+From control law diagrams to Ada via \textsf{Circus}
+Normal rank
@@ Property / cites work @@
+A refinement strategy for Circus
@@ Property / cites work: A refinement strategy for Circus / rank @@
+Normal rank
@@ Property / cites work @@
+Safety-critical Java programs from \textsf{Circus} models
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536898
@@ Property / cites work: Q4536898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852365
@@ Property / cites work: Q2852365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank
@@ Property / cites work @@
+A UTP semantics for \textsf{Circus}
@@ Property / cites work: A UTP semantics for \textsf{Circus} / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebraic framework for specification and validation of real-time systems
+Normal rank
@@ Property / cites work @@
+Modelling temporal behaviour in complex systems with Timebands
+Normal rank
@@ Property / cites work @@
+Circus Time with Reactive Designs
@@ Property / cites work: Circus Time with Reactive Designs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472182
@@ Property / cites work: Q4472182 / rank @@
+Normal rank