Collaborated with:
J.R.Cordy T.R.Dean J.Dingel
Talks about:
transform (1) concurr (1) analysi (1) sourc (1)
Person: Timothy Cassidy
DBLP: Cassidy:Timothy
Contributed to:
Wrote 1 papers:
- LDTA-2005-CassidyCDD #analysis #concurrent
- Source Transformation for Concurrency Analysis (TC, JRC, TRD, JD), pp. 57–75.