Verifiable agent dialogues (Q2372183): Difference between revisions

@@ Property / cites work @@
+On agent-based software engineering
@@ Property / cites work: On agent-based software engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473426
@@ Property / cites work: Q4473426 / rank @@
+Normal rank
@@ Property / cites work @@
+Games that agents play: A formal framework for dialogues between autonomous agents
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+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 @@
+Q4209291
@@ Property / cites work: Q4209291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461756
@@ Property / cites work: Q4461756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774923
@@ Property / cites work: Q3774923 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank