2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.PL2016
On the chemistry of typestate-oriented actors
Silvia Crafa, Luca Padovani
Typestate-oriented programming is an extension of the OO paradigm in which objects are modeled not just in terms of interfaces but also in terms of their usage protocols, describin…
cs.DC2015★ 2 cited
Actors vs Shared Memory: two models at work on Big Data application frameworks
Silvia Crafa, Luca Tronchin
This work aims at analyzing how two different concurrency models, namely the shared memory model and the actor model, can influence the development of applications that manage huge…
cs.DC2013
Causality in concurrent systems
Silvia Crafa, Federica Russo
Concurrent systems identify systems, either software, hardware or even biological systems, that are characterized by sets of independent actions that can be executed in any order o…