Foundations of session types and behavioural contracts

Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Lúis Caires, Mmarco Carbone, Pierre Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Maria Lobo César Alarcão Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro

Research output: Contribution to journal › Article › peer-review

191 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Foundations of session types and behavioural contracts'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science