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

@@ Property / author @@
-J. C. P. Woodcock
@@ Property / author: J. C. P. Woodcock / rank @@
-Normal rank
@@ Property / author @@
+J. C. P. Woodcock
@@ Property / author: J. C. P. Woodcock / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-14806-9_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1420164130
@@ Property / OpenAlex ID: W1420164130 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2814616