The MSO theory of connectedly communicating processes. Zbl 1172.68556
Madhusudan, P.; Thiagarajan, P. S.; Yang, Shaofa |
|
2005
|
Causal message sequence charts. Zbl 1187.68081
Gazagnaire, Thomas; Genest, Blaise; Hélouët, Loïc; Thiagarajan, P. S.; Yang, Shaofa |
|
2009
|
Multivariate extension to the economical design of \(\overline{X}\) control chart under Weibull shock model. Zbl 1144.62367
Yang, S. F.; Rahim, M. A. |
|
2006
|
Causal message sequence charts. Zbl 1151.68528
Gazagnaire, Thomas; Genest, Blaise; Hélouët, Loïc; Thiagarajan, P. S.; Yang, Shaofa |
|
2007
|
Rabin’s theorem in the concurrency setting: a conjecture. Zbl 1308.68085
Thiagarajan, P. S.; Yang, Shaofa |
|
2014
|
Quasi-static scheduling of communicating tasks. Zbl 1160.68463
Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa |
|
2008
|
Regular set of representatives for time-constrained MSC graphs. Zbl 1243.68218
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa |
|
2012
|
Symbolically bounding the drift in time-constrained MSC graphs. Zbl 1362.68163
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa |
|
2012
|
Succinct discrete time approximations of distributed hybrid automata. Zbl 1361.68125
Thiagarajan, P. S.; Yang, Shaofa |
|
2010
|
Modular discrete time approximations of distributed hybrid automata. Zbl 1242.93061
Thiagarajan, P. S.; Yang, Shaofa |
|
2012
|
Logic-based diagnosis for distributed systems. Zbl 1193.68049
Yang, Shaofa; Hélouët, Loïc; Gazagnaire, Thomas |
|
2009
|
Quasi-static scheduling of communicating tasks. Zbl 1209.68060
Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa |
|
2010
|
Rabin’s theorem in the concurrency setting: a conjecture. Zbl 1308.68085
Thiagarajan, P. S.; Yang, Shaofa |
|
2014
|
Regular set of representatives for time-constrained MSC graphs. Zbl 1243.68218
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa |
|
2012
|
Symbolically bounding the drift in time-constrained MSC graphs. Zbl 1362.68163
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa |
|
2012
|
Modular discrete time approximations of distributed hybrid automata. Zbl 1242.93061
Thiagarajan, P. S.; Yang, Shaofa |
|
2012
|
Succinct discrete time approximations of distributed hybrid automata. Zbl 1361.68125
Thiagarajan, P. S.; Yang, Shaofa |
|
2010
|
Quasi-static scheduling of communicating tasks. Zbl 1209.68060
Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa |
|
2010
|
Causal message sequence charts. Zbl 1187.68081
Gazagnaire, Thomas; Genest, Blaise; Hélouët, Loïc; Thiagarajan, P. S.; Yang, Shaofa |
|
2009
|
Logic-based diagnosis for distributed systems. Zbl 1193.68049
Yang, Shaofa; Hélouët, Loïc; Gazagnaire, Thomas |
|
2009
|
Quasi-static scheduling of communicating tasks. Zbl 1160.68463
Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa |
|
2008
|
Causal message sequence charts. Zbl 1151.68528
Gazagnaire, Thomas; Genest, Blaise; Hélouët, Loïc; Thiagarajan, P. S.; Yang, Shaofa |
|
2007
|
Multivariate extension to the economical design of \(\overline{X}\) control chart under Weibull shock model. Zbl 1144.62367
Yang, S. F.; Rahim, M. A. |
|
2006
|
The MSO theory of connectedly communicating processes. Zbl 1172.68556
Madhusudan, P.; Thiagarajan, P. S.; Yang, Shaofa |
|
2005
|