Turing Machines, Transition Systems, and Interaction (Q4917087): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of Koomen's fair abstraction rule
+Normal rank
@@ Property / cites work @@
+Q2760246
@@ Property / cites work: Q2760246 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequentiality in an extensional framework
@@ Property / cites work: Sequentiality in an extensional framework / rank @@
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700824
@@ Property / cites work: Q3700824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680258
@@ Property / cites work: Q3680258 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754086
@@ Property / cites work: Q2754086 / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138147
@@ Property / cites work: Q4138147 / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete domains
@@ Property / cites work: Concrete domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536346
@@ Property / cites work: Q4536346 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762165
@@ Property / cites work: Q2762165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Why Church's Thesis Still Holds. Some Notes on Peter Wegner's Tracts on Interaction and Computability
+Normal rank
@@ Property / cites work @@
+What is in a step: On the semantics of statecharts
+Normal rank
@@ Property / cites work @@
+Q4038701
@@ Property / cites work: Q4038701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038700
@@ Property / cites work: Q4038700 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive foundations of computing
@@ Property / cites work: Interactive foundations of computing / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)00220-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2079779258
@@ Property / OpenAlex ID: W2079779258 / rank @@
+Normal rank