Ravi K. Gedela

1999
2	EE	Ravi K. Gedela, Sol M. Shatz, Haiping Xu: Formal modeling of synchronization methods for concurrent objects in Ada 95. SIGAda 1999: 211-220
1		Ravi K. Gedela, Sol M. Shatz, Haiping Xu: Compositional Petri net models of advanced tasking in Ada-95. Comput. Lang. 25(2): 55-87 (1999)

Coauthor Index

1	Sol M. Shatz	[1] [2]
2	Haiping Xu	[1] [2]