Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets

Authors:
Jingde Cheng;Kazuo Ushijima
Affiliations:
-;-
Venue:
Proceedings of the Ada-Europe International Conference on Ada: The Choice for '92
Year:
1991

Citing 0
Cited 2

Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Static detection of Livelocks in Ada multitasking programs

Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract