Carlo Spaccasassi

According to our database, Carlo Spaccasassi authored at least 6 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Fast Enumeration of Non-isomorphic Chemical Reaction Networks.

Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau

Proceedings of the Computational Methods in Systems Biology, 2019

2016

Language support for communicating transactions

Carlo Spaccasassi

PhD thesis, 2016

Type-Based Analysis for Session Inference (Extended Abstract).

Carlo Spaccasassi, Vasileios Koutavas

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015

Complete session types inference with progress guarantees for ML.

Carlo Spaccasassi, Vasileios Koutavas

CoRR, 2015

2014

Bisimulations for Communicating Transactions - (Extended Abstract).

Vasileios Koutavas, Carlo Spaccasassi, Matthew Hennessy

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013

Towards Efficient Abstractions for Concurrent Consensus.

Carlo Spaccasassi, Vasileios Koutavas

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013