Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
Contributo in Atti di convegno
Data di Pubblicazione:
2015
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Padovani, Luca; Chen, Tzu Chun; Tosatto, Andrea
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15)
Pubblicato in: