A Comparison of Formal Definitions of ADA Tasking

Simple item page
dc.contributor.authorHe, Xudongen
dc.contributor.authorLee, John A. N.en
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2013-06-19T14:36:43Zen
dc.date.available2013-06-19T14:36:43Zen
dc.date.issued1989en
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
dc.format.mimetypeapplication/pdfen
dc.identifierhttp://eprints.cs.vt.edu/archive/00000141/en
dc.identifier.sourceurlhttp://eprints.cs.vt.edu/archive/00000141/01/TR-89-04.pdfen
dc.identifier.trnumberTR-89-04en
dc.identifier.urihttp://hdl.handle.net/10919/19497en
dc.language.isoenen
dc.publisherDepartment of Computer Science, Virginia Polytechnic Institute & State Universityen
dc.relation.ispartofHistorical Collection(Till Dec 2001)en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.titleA Comparison of Formal Definitions of ADA Taskingen
dc.typeTechnical reporten
dc.type.dcmitypeTexten

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR-89-04.pdf
Size:
1.17 MB
Format:
Adobe Portable Document Format
Download

Collections

Computer Science Technical Reports