A Comparison of Formal Definitions of ADA Tasking

Files
TR Number
TR-89-04
Date
1989
Journal Title
Journal ISSN
Volume Title
Publisher
Department of Computer Science, Virginia Polytechnic Institute & State University
Abstract

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

Description
Keywords
Citation