Derivation of Petri net models of Ada tasking constructs involving time.

F. W. Fong, Sol M. Shatz

Browse the full COMPSAC paper archive.