J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, R. Passerone. Why are modalities good for Interface Theories?. In Proc. of the 9th International Conference on Application of Concurrency to System Design (ACSD'09), Pages 199-127, 2009.
@InProceedings{RBBCP-acsd09,
Author = {Raclet, J.-B. and Badouel, E. and Benveniste, A. and Caillaud, B. and Passerone, R.},
Title = {Why are modalities good for Interface Theories?},
BookTitle = {Proc. of the 9th International Conference on Application of Concurrency to System Design (ACSD'09)},
Pages = {199--127},
Publisher = {IEEE},
Year = {2009}
}
Get EndNote Reference (.ref)