Show simple item record

dc.contributor.authorHe, Xudongen_US
dc.contributor.authorLee, John A. N.en_US
dc.date.accessioned2013-06-19T14:36:43Z
dc.date.available2013-06-19T14:36:43Z
dc.date.issued1989
dc.identifierhttp://eprints.cs.vt.edu/archive/00000141/en_US
dc.identifier.urihttp://hdl.handle.net/10919/19497
dc.description.abstractIn 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 thenen_US
dc.format.mimetypeapplication/pdfen_US
dc.publisherDepartment of Computer Science, Virginia Polytechnic Institute & State Universityen_US
dc.relation.ispartofHistorical Collection(Till Dec 2001)en_US
dc.titleA Comparison of Formal Definitions of ADA Taskingen_US
dc.typeTechnical reporten_US
dc.identifier.trnumberTR-89-04en_US
dc.type.dcmitypeTexten_US
dc.identifier.sourceurlhttp://eprints.cs.vt.edu/archive/00000141/01/TR-89-04.pdf


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record