Travelled to:1 × USA
Collaborated with:U.A.Buy R.Devarapalli S.M.Shatz A.Dan D.M.Dias T.Nguyen M.Sachs H.Shaikh R.P.King
Talks about:framework (1) deadlock (1) project (1) commerc (1) analysi (1) reduct (1) method (1) state (1) space (1) parti (1)
Person: Sastry Duri
DBLP: Duri:Sastry
Contributed to:
1998
1993Wrote 2 papers:
- ECDL-1998-DanDNSSKD #e-commerce #framework #multi
- The Coyote Project: Framework for Multi-party E-Commerce (AD, DMD, TN, MS, HS, RPK, SD), pp. 873–889.
- ISSTA-1993-DuriBDS #ada #analysis #concurrent #reduction #using
- Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking (SD, UAB, RD, SMS), pp. 51–60.