Search

• < Previous
• 1
• Next >

---

A Coordination Language for Databases

Ximeng Li ; Xi Wu ; Alberto Lluch Lafuente ; Flemming Nielson ; Hanne Riis Nielson.

We present a coordination language for the modeling of distributed database applications. The language, baptized Klaim-DB, borrows the concepts of localities and nets of the coordination language Klaim but re-incarnates the tuple spaces of Klaim as databases. It provides high-level abstractions and&nbsp;[&hellip;]

---

Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields

Alberto Lluch Lafuente ; Michele Loreti ; Ugo Montanari.

Coordination is essential for dynamic distributed systems whose components exhibit interactive and autonomous behaviors. Spatially distributed, locally interacting, propagating computational fields are particularly appealing for allowing components to join and leave with little or no overhead.&nbsp;[&hellip;]

---

A theory of Automated Market Makers in DeFi

Massimo Bartoletti ; James Hsin-yu Chiang ; Alberto Lluch-Lafuente.

Automated market makers (AMMs) are one of the most prominent decentralized finance (DeFi) applications. AMMs allow users to trade different types of crypto-tokens, without the need to find a counter-party. There are several implementations and models for AMMs, featuring a variety of sophisticated&nbsp;[&hellip;]

---