Computer Science Technical Reports
CS at VT

A Comparison of Formal Definitions of Ada Tasking

He, Xudong and Lee, John A. N. (1989) A Comparison of Formal Definitions of Ada Tasking. Technical Report TR-89-04, Computer Science, Virginia Polytechnic Institute and State University.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
TR-89-04.pdf (1227980)


In 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 then

Item Type:Departmental Technical Report
Subjects:Computer Science > Historical Collection(Till Dec 2001)
ID Code:141
Deposited By:User autouser
Deposited On:05 December 2001