Towards Efficient Abstractions for Concurrent Consensus. - Carlo Spaccasassi; Vasileios Koutavas (Trends in Functional Programming, 2013)

Bisimulations for Communicating Transactions - (Extended Abstract). - Vasileios Koutavas; Carlo Spaccasassi; Matthew Hennessy (FoSSaCS, 2014)

Complete session types inference with progress guarantees for ML. - Carlo Spaccasassi; Vasileios Koutavas (CoRR, 2015)

Type-Based Analysis for Session Inference (Extended Abstract). - Carlo Spaccasassi; Vasileios Koutavas (FORTE, 2016)

Language support for communicating transactions - Carlo Spaccasassi (2016)

Fast Enumeration of Non-isomorphic Chemical Reaction Networks. - Carlo Spaccasassi; Boyan Yordanov; Andrew Phillips; Neil Dalchau (CMSB, 2019)