Efficient Session Type Guided Distributed Interaction.
K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster
VenueCCoordination
Year2010
ProceedingsCOORDINATION
DBLP recordconf/coordination/SivaramakrishnanNZE10 ↗
Browse the full Coordination paper archive.