Issue No. 02 - February (1993 vol. 19)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.214836
<p>The commenters discuss several flaws they found in the above-titled paper by G.M. Koran and R.J.A. Burh. The commenters argue that the characterization of operational and axiomatic proof method is modified and inaccurate; the classification of modeling techniques for concurrent systems confuses the distinction between state-based and event-based models with the essential distinction between explicit enumeration of behaviors and symbolic manipulation of properties; the statements about the limitations of linear-time temporal logic in relation to nondeterminism are inaccurate; and the characterization of the computational complexity of the analysis technique is overly optimistic.</p>
temporal logic-based deadlock analysis; state-based models; Ada; axiomatic proof method; event-based models; symbolic manipulation; nondeterminism; computational complexity; Ada; computational complexity; concurrency control; symbol manipulation; temporal logic
D. Jain and M. Agrawala, "Comments on 'Temporal Logic-Based Deadlock Analysis for Ada' by G.M. Karam and R.J.A. Burh," in IEEE Transactions on Software Engineering, vol. 19, no. , pp. 198-199, 1993.