Travelled to:1 × USA
Collaborated with:S.M.Shatz H.Xu
Talks about:synchron (1) concurr (1) object (1) method (1) formal (1) model (1) ada (1)
Person: Ravi K. Gedela
DBLP: Gedela:Ravi_K=
Contributed to:
1999Wrote 1 papers:
- SIGAda-1999-GedelaSX #ada #concurrent #formal method #modelling
- Formal modeling of synchronization methods for concurrent objects in Ada 95 (RKG, SMS, HX), pp. 211–220.