He, XudongLee, John A. N.2013-06-192013-06-191989http://hdl.handle.net/10919/19497In this paper, various formalisms (the operational approach, the denotational approach, the axiomatic approach, Petri nets and temporal logic) are briefly introduced through their applications in formally defining Ada tasking, and their coverages and relative merits are thenapplication/pdfenIn CopyrightTechnical reportTR-89-04http://eprints.cs.vt.edu/archive/00000141/01/TR-89-04.pdf