Ravi K. Gedela

According to our database, Ravi K. Gedela authored at least 3 papers between 1997 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1999

Compositional Petri net models of advanced tasking in Ada-95.

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

Comput. Lang., 1999

Formal modeling of synchronization methods for concurrent objects in Ada 95.

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999

1997

Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective.

Ravi K. Gedela, Sol M. Shatz

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997