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

@@ Property / author @@
+Carolyn L. Talcott
@@ Property / author: Carolyn L. Talcott / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PAGODA
@@ Property / describes a project that uses: PAGODA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.04.088
+Normal rank
@@ Property / OpenAlex ID @@
+W1993438807
@@ Property / OpenAlex ID: W1993438807 / rank @@
+Normal rank
@@ 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