Detail

Publication date: 01/01/2006

Typing the Behavior of Objects and Components using Session Types

Authors

Antonio Vallecillo, Vasco Vasconcelos, António Ravara,

Journal Fundamenta Informaticae
Publisher Universitat Politècnica de Catalunya
Volume 73
Number 4
Journal Fundamenta Informaticae
Publisher Universitat Politècnica de Catalunya
Volume 73
Number 4