Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara. Typing the Behavior of Software Components using Session Types. Fundamenta Informaticae, 73(4):583-598, 2006. [doi]
@article{VallecilloVR06,
title = {Typing the Behavior of Software Components using Session Types},
author = {Antonio Vallecillo and Vasco Thudichum Vasconcelos and António Ravara},
year = {2006},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=73&issue=4&spage=583},
tags = {software components, software component},
researchr = {https://researchr.org/publication/VallecilloVR06},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {73},
number = {4},
pages = {583-598},
}