Sciweavers

Share
FUIN
2006

Typing the Behavior of Software Components using Session Types

8 years 6 months ago
Typing the Behavior of Software Components using Session Types
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 types allow not only high level specifications of complex interactions, but also the definition of powerful interoperability tests at the protocol level, namely compatibility and substitutability of components. We present a decidable proof system to verify these notions, which makes our approach of a pragmatic nature.
Antonio Vallecillo, Vasco Thudichum Vasconcelos, A
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where FUIN
Authors Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
Comments (0)
books