(1 - 8 from 11
)
Sat April 12th - etaps 2020etaps.org › programme
etaps.org
Diego Latella, Michele Loreti, Mieke Massink, and Valerio Senni. Stochastically timed predicate-based communication primitives for autonomic ...
Programming and Verifying Component Ensembles - DTU Orbit
orbit.dtu.dk
author = "{De Nicola}, Rocco and {Lluch Lafuente}, Alberto and Michele Loreti and Andrea Morichetta and Rosario Pugliese and Valerio Senni and Francesco ...
sorted by relevance / date