A Formal Framework for Interactive Agents (Q2864512): Difference between revisions

@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of stream processing functions
@@ Property / cites work: The algebra of stream processing functions / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and Development of Interactive Systems
+Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703711
@@ Property / cites work: Q2703711 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing machines, transition systems, and interaction
+Normal rank
@@ Property / cites work @@
+Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005
+Normal rank
@@ Property / cites work @@
+Concurrent Semantics Without the Notions of State or State Transitions
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3046721
@@ Property / cites work: Q3046721 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Three Coordination Models: Reo, ARC, and RRD
+Normal rank
@@ Property / cites work @@
+Composable semantic models for actor theories
@@ Property / cites work: Composable semantic models for actor theories / rank @@
+Normal rank