2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2004★ 2 cited
PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction
M. Pedicini, F. Quaglia
In this article we present the implementation of an environment supporting Lévy's \emph{optimal reduction} for the -calculus \cite{Lev78} on parallel (or distributed) computing…
cs.DB1999
Consistent Checkpointing in Distributed Databases: Towards a Formal Approach
R. Baldoni, F. Quaglia, M. Raynal
Whether it is for audit or for recovery purposes, data checkpointing is an important problem of distributed database systems. Actually, transactions establish dependence relations…