Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis.

Francisco Ferreira, Sung-Shik Jongmans

Browse the full ISSTA paper archive.