Browsing by Sponsor/Funder DTA award
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| Nov-2009 | Session Types in Concurrent Calculi: Higher-Order Processes and Objects | Yoshida, Nobuko; Drossopoulou, Sophia; Mostrous, Dimitris; |