An algebra of behavioural types

TitleAn algebra of behavioural types
Publication TypeJournal Article
Year of Publication2012
AuthorsRavara, A., P. Resende, and V. T. Vasconcelos
JournalInformation and Computation
Volume212
Pagination64–91