Ravi K. Gedela

Publication Activity (10 Years)

Years Active: 1997-1999
Publications (10 Years): 0

Publications

Ravi K. Gedela, Sol M. Shatz, Haiping Xu
Formal modeling of synchronization methods for concurrent objects in Ada 95. SIGAda (1999)
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
Compositional Petri net models of advanced tasking in Ada-95. Comput. Lang. 25 (2) (1999)
Ravi K. Gedela, Sol M. Shatz
Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective. PDSE (1997)