A fully abstract model for the exchange of information in multi-agent systems. (Q1401189): Difference between revisions

@@ Property / author @@
+Wiebe van der Hoek
@@ Property / author: Wiebe van der Hoek / rank @@
+Normal rank
@@ Property / author @@
+John-Jules Ch. Meyer
@@ Property / author: John-Jules Ch. Meyer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KQML
@@ Property / describes a project that uses: KQML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Readies and Failures in the Algebra of Communicating Processes
+Normal rank
@@ Property / cites work @@
+A process algebra for synchronous concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736349
@@ Property / cites work: Q2736349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536604
@@ Property / cites work: Q4536604 / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264203
@@ Property / cites work: Q4264203 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222905
@@ Property / cites work: Q4222905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2728930
@@ Property / cites work: Q2728930 / rank @@
+Normal rank
@@ Property / cites work @@
+On dynamically generated ontology translators in agent communication
+Normal rank