Search by title
Search by author
Author List (by Department)
Why are modalities good for Interface Theories?
J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud,
"Why are modalities good for Interface Theories?"
in Ninth International Conference on Application of Concurrency to System Design: ACSD 2009: Proceedings, Augsburg, Germany: IEEE, 2009, p. 119-127. Proceedings of: ACSD09, Augsburg, Germany, 1st-3rd July 2009. - DOI: 10.1109/ACSD.2009.22