57 citations · 253 across the 38 of their papers we have counts for
4 papers · 1 filter
Graphical representation of covariant-contravariant modal formulae
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig +2
Covariant-contravariant simulation is a combination of standard (covariant) simulation, its contravariant counterpart and bisimulation. We have previously studied its logical chara…
Axiomatizing GSOS with Predicates
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac +1
In this paper, we introduce an extension of the GSOS rule format with predicates such as termination, convergence and divergence. For this format we generalize the technique propos…
Proceedings First International Workshop on Process Algebra and Coordination
Luca Aceto, Mohammad Reza Mousavi
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and progra…
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
Luca Aceto, Matteo Cimini, Anna Ingolfsdottir +3
In this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. We provide the formal semantics…