Foundations of Session Types and Behavioural Contracts

Hans Huttel, Ivan Lanese, Vasco Vasconcelos, Luis Caires, Marco Carbone, Pierre-Malo Danielou, Dimitris Mostrous, Luca Padovani, Antonio Rabara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review


Dive into the research topics of 'Foundations of Session Types and Behavioural Contracts'. Together they form a unique fingerprint.


Engineering & Materials Science