Unifying theories of time with generalised reactive processes (Q1708268): 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 / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Circus
@@ Property / describes a project that uses: Circus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2779136310
@@ Property / OpenAlex ID: W2779136310 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10213
@@ Property / arXiv ID: 1712.10213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / 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 @@
+Q3992568
@@ Property / cites work: Q3992568 / 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 @@
+Circus Time with Reactive Designs
@@ Property / cites work: Circus Time with Reactive Designs / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a UTP Semantics for Modelica
@@ Property / cites work: Towards a UTP Semantics for Modelica / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Heterogeneous State-Spaces with Lenses
@@ Property / cites work: Unifying Heterogeneous State-Spaces with Lenses / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Model for a Hybrid Programming Language
@@ Property / cites work: A Formal Model for a Hybrid Programming Language / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Theories of Programming That Distinguish Nontermination and Abort
+Normal rank
@@ Property / cites work @@
+Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe
+Normal rank
@@ Property / cites work @@
+An algebra of hybrid systems
@@ Property / cites work: An algebra of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Building program construction and verification tools from algebraic principles
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1708268