Skip to content

Analysis of Synchronisations in Stateful Active Objects.

Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea

VenueBIFM
Year2017
ProceedingsIFM

Browse the full IFM paper archive.