Computability and realizability for interactive computations (Q2343137): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2014.12.019
+Normal rank
@@ Property / OpenAlex ID @@
+W2025130322
@@ Property / OpenAlex ID: W2025130322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932269
@@ Property / cites work: Q3932269 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and Development of Interactive Systems
+Normal rank
@@ Property / cites work @@
+A Theory of System Interaction: Components, Interfaces, and Services
+Normal rank
@@ Property / cites work @@
+Interaction and Realizability
@@ Property / cites work: Interaction and Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5606989
@@ Property / cites work: Q5606989 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of \(\omega\)-languages. II: A study of various models of \(\omega\)- type generation and recognition
+Normal rank
@@ Property / cites work @@
+\(\omega\)-computations on Turing machines
@@ Property / cites work: \(\omega\)-computations on Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of \(\omega\)-type Turing acceptors
+Normal rank
@@ Property / cites work @@
+Turing machines, transition systems, and interaction
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Computability Logic: A Formal Theory of Interaction
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336274
@@ Property / cites work: Q4336274 / 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 @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ Property / cites work @@
+Church’s Problem and a Tour through Automata Theory
+Normal rank
@@ Property / cites work @@
+Q3245554
@@ Property / cites work: Q3245554 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Interactive Computation
@@ Property / cites work: A Theory of Interactive Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of concurrent programs: The automata-theoretic framework
+Normal rank