Modular session types for objects

Simon J. Gay, Nils Gesbert, António Ravara, Vasco T. Vasconcelos

Research output: Contribution to journalArticlepeer-review

14 Citations (Scopus)
12 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Modular session types for objects'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science