A Higher-Order Calculus of Computational Fields (Q4617982): Difference between revisions

@@ Property / arXiv ID @@
+.08116
@@ Property / arXiv ID: 1610.08116 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5129944
@@ Property / cites work: Q5129944 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Processes in Space
@@ Property / cites work: Processes in Space / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+A set of postulates for the foundation of logic
@@ Property / cites work: A set of postulates for the foundation of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Definability and Full Abstraction
@@ Property / cites work: Definability and Full Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Type-based Self-stabilisation for Computational Fields
+Normal rank
@@ Property / cites work @@
+A Higher-Order Calculus of Computational Fields
@@ Property / cites work: A Higher-Order Calculus of Computational Fields / rank @@
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+Q4346206
@@ Property / cites work: Q4346206 / rank @@
+Normal rank
@@ Property / cites work @@
+Time-adaptive self stabilization
@@ Property / cites work: Time-adaptive self stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+Agents and Peer-to-Peer Computing
@@ Property / cites work: Agents and Peer-to-Peer Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted unification
@@ Property / cites work: Order-sorted unification / rank @@
+Normal rank
@@ Property / cites work @@
+Pure bigraphs: structure and dynamics
@@ Property / cites work: Pure bigraphs: structure and dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040912
@@ Property / cites work: Q4040912 / rank @@
+Normal rank
@@ Property / cites work @@
+From distributed coordination to field calculus and aggregate computing
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank