TCC, with History (Q5418978): Difference between revisions

@@ Property / describes a project that uses @@
+SIGNAL
@@ Property / describes a project that uses: SIGNAL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GHC
@@ Property / describes a project that uses: GHC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1569816615
@@ Property / OpenAlex ID: W1569816615 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5538
@@ Property / arXiv ID: 1310.5538 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Synchronous programming with events and relations: The SIGNAL language and its semantics
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Q4809158
@@ Property / cites work: Q4809158 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract diagnosis for timed concurrent constraint programs
+Normal rank
@@ Property / cites work @@
+Q4738216
@@ Property / cites work: Q4738216 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating labelled Markov processes
@@ Property / cites work: Approximating labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate reasoning for real-time probabilistic processes
+Normal rank
@@ Property / cites work @@
+Truly concurrent constraint programming
@@ Property / cites work: Truly concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with continuous change
@@ Property / cites work: Computing with continuous change / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Focusing and Polarization in Intuitionistic Logic
@@ Property / cites work: Focusing and Polarization in Intuitionistic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150207
@@ Property / cites work: Q3150207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475640
@@ Property / cites work: Q4475640 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Timed default concurrent constraint programming
@@ Property / cites work: Timed default concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499205
@@ Property / cites work: Q4499205 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of infinite-state timed CCP processes and first-order LTL
+Normal rank