-
Selection by year
-
Selection by authors
-
Complete lists
RacletBBCP09
Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why Are Modalities Good for Interface Theories?. In Conference on Application of Concurrency to System Design, ACSD, Pages 119-127, 2009.
Contact
Eric Badouel http://people.rennes.inria.fr/Eric.Badouel/index.html
BibTex Reference
@InProceedings{RacletBBCP09,
Author = {Raclet, Jean-Baptiste and Badouel, Eric and Benveniste, Albert and Caillaud, Benoît and Passerone, Roberto},
Title = {Why Are Modalities Good for Interface Theories?},
BookTitle = {Conference on Application of Concurrency to System Design, ACSD},
Pages = {119--127},
Year = {2009}
}
EndNote Reference [help]
Get EndNote Reference (.ref)