FUIN
2006
13 years 11 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...