A Timed CSP Model for the Time-Triggered Language Giotto.

Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, Joo F. Ferreira

Browse the full SEW paper archive.