8 citations · 14 across the 5 of their papers we have counts for
5 papers
Light Communication for Controlling Industrial Robots
Fadi Al-Turjman, Diletta Cacciagrano, Leonardo Mostarda +2
Optical Wireless Communication (OWC) is regarded as an auspicious communication approach that can outperform the existing wireless technology. It utilizes LED lights, whose subtle…
A Testing Framework for P Systems
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini +2
Testing equivalence was originally defined by De Nicola and Hennessy in a process algebraic setting (CCS) with the aim of defining an equivalence relation between processes being l…
Shape Calculus: Timed Operational Semantics and Well-formedness
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini +2
The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a…
Multiscale Bone Remodelling with Spatial P Systems
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli +1
Many biological phenomena are inherently multiscale, i.e. they are characterized by interactions involving different spatial and temporal scales simultaneously. Though several appr…
Explicit fairness in testing semantics
D. Cacciagrano, F. Corradini, C. Palamidessi
In this paper we investigate fair computations in the pi-calculus. Following Costa and Stirling's approach for CCS-like languages, we consider a method to label process actions in…