40 citations · 41 across the 3 of their papers we have counts for
3 papers
cs.LO2011
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…
cs.SE2011★ 40 cited
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…
cs.LO2010★ 1 cited
Proceedings Seventh Workshop on Structural Operational Semantics
Luca Aceto, Paweł Sobociński
Structural operational semantics (SOS) is a technique for defining operational semantics for programming and specification languages. Because of its intuitive appeal and flexibilit…