Recently published

Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields


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. […]


Volume: Volume 13, Issue 1
Published on: March 22, 2017
Reachability Analysis of Innermost Rewriting


We consider the problem of inferring a grammar describing the output of a functional program given a grammar describing its input. Solutions to this problem are helpful for detecting bugs or proving safety properties of functional programs, and several rewriting tools exist for solving this problem. […]


Volume: Volume 13, Issue 1
Published on: March 22, 2017
Sequential decision problems, dependent types and generic solutions


We present a computer-checked generic implementation for solving finite-horizon sequential decision problems. This is a wide class of problems, including inter-temporal optimizations, knapsack, optimal bracketing, scheduling, etc. The implementation can handle time-step dependent control and state […]


Volume: Volume 13, Issue 1
Published on: March 17, 2017
Termination of Cycle Rewriting by Transformation and Matrix Interpretation


We present techniques to prove termination of cycle rewriting, that is, string rewriting on cycles, which are strings in which the start and end are connected. Our main technique is to transform cycle rewriting into string rewriting and then apply state of the art techniques to prove termination […]


Volume: Volume 13, Issue 1
Published on: March 17, 2017
A Coordination Language for Databases


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 […]


Volume: Volume 13, Issue 1
Published on: March 17, 2017