Verifying of interface assertions for infinite state Mealy machines (Q2453549): Difference between revisions

@@ 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 @@
+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 @@
+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 @@
+A Theory of Interactive Computation
@@ Property / cites work: A Theory of Interactive Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank