Travelled to:
1 × France
Collaborated with:
O.Sokolsky S.A.Smolka
Talks about:
parallel (1) calculus (1) complex (1) model (1) modal (1) check (1)
Person: Shipei Zhang
DBLP: Zhang:Shipei
Contributed to:
Wrote 1 papers:
- LICS-1994-ZhangSS #calculus #complexity #model checking #on the #parallel #μ-calculus
- On the Parallel Complexity of Model Checking in the Modal μ-Calculus (SZ, OS, SAS), pp. 154–163.