31 citations · 52 across the 9 of their papers we have counts for
9 papers
Weakly synchronous systems with three machines are Turing powerful
Cinzia Di Giusto, Davide Ferré, Etienne Lozes +1
Communicating finite-state machines (CFMs) are a Turing powerful model of asynchronous message-passing distributed systems. In weakly synchronous systems, processes communicate thr…
Proceedings 16th Interaction and Concurrency Experience
Clément Aubert, Cinzia Di Giusto, Simon Fowler +1
This volume contains the proceedings of ICE'23, the 16th Interaction and Concurrency Experience, which was held at the NOVA University in Lisbon, Portugal, as a satellite event of…
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata
Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel +1
We study the complexity relationship between three models of unbounded memory automata: nu-automata (-A), Layered Memory Automata (LaMA)and History-Register Automata (HRA). Thes…
A partial order view of message-passing communication models
Cinzia Di Giusto, Davide Ferré, Laetitia Laversa +1
There is a wide variety of message-passing communication models, ranging from synchronous ''rendez-vous'' communications to fully asynchronous/out-of-order communications. For larg…
Activity Networks with Delays An application to toxicity analysis
Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto +1
ANDy , Activity Networks with Delays, is a discrete time framework aimed at the qualitative modelling of time-dependent activities. The modular and concise syntax makes ANDy suitab…
Session Types with Runtime Adaptation: Overview and Examples
Cinzia Di Giusto, Jorge A. Pérez
In recent work, we have developed a session types discipline for a calculus that features the usual constructs for session establishment and communication, but also two novel const…
A Categorical Theory of Patches
Samuel Mimram, Cinzia Di Giusto
When working with distant collaborators on the same documents, one often uses a version control system, which is a program tracking the history of files and helping importing modif…
Adaptable processes
Mario Bravetti, Cinzia Di Giusto, Jorge A Perez +1
We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns r…
On the Expressive Power of Multiple Heads in CHR
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
Constraint Handling Rules (CHR) is a committed-choice declarative language which has been originally designed for writing constraint solvers and which is nowadays a general purpose…