AbU: a calculus for distributed event-driven programming with attribute-based interaction (Q6038690): Difference between revisions

@@ Property / cites work @@
+On the Power of Attribute-Based Communication
@@ Property / cites work: On the Power of Attribute-Based Communication / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for attribute-based memory updates
@@ Property / cites work: A calculus for attribute-based memory updates / rank @@
+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 @@
+Q2756785
@@ Property / cites work: Q2756785 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for collective-adaptive systems and its behavioural theory
+Normal rank
@@ Property / cites work @@
+Passing Messages while Sharing Memory
@@ Property / cites work: Passing Messages while Sharing Memory / rank @@
+Normal rank
@@ Property / cites work @@
+The Impact of RDMA on Agreement
@@ Property / cites work: The Impact of RDMA on Agreement / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic Semi-Thue Systems and Variants of Post Correspondence Problem
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous consensus and broadcast protocols
@@ Property / cites work: Asynchronous consensus and broadcast protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Operating systems. An advanced course
@@ Property / cites work: Operating systems. An advanced course / rank @@
+Normal rank
@@ Property / cites work @@
+Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6--10, 2021. Proceedings
+Normal rank
@@ Property / cites work @@
+On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for non-deterministic processes with quantitative aspects
+Normal rank