Up a level |
Medić, Doriana (2019) Relative expressiveness of calculi for reversible concurrency. Advisor: De Nicola, Prof. Rocco. Coadvisor: Mezzina, Dott. Claudio Antares . pp. 170. [IMT PhD Thesis]
Buravlev, Vitaly (2018) Improving the efficiency of tuple spases. Advisor: De Nicola, Prof. Rocco. Coadvisor: Mezzina, Dott. Claudio Antares . pp. 142. [IMT PhD Thesis]