4 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…
Proceedings 15th Interaction and Concurrency Experience
Clément Aubert, Cinzia Di Giusto, Larisa Safina +1
This volume contains the proceedings of ICE'22, the 15th Interaction and Concurrency Experience, which was held as an hybrid event in Lucca, Italy, and as a satellite event of DisC…
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…