Author of the publication

Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets.

, and . Ada-Europe, volume 499 of Lecture Notes in Computer Science, page 125-146. Springer, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Test-case Generation Method for Concurrent Programs Including Task-types., , and . APSEC, page 485-494. IEEE Computer Society, (1997)A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph., , and . APSEC, page 355-. IEEE Computer Society, (1996)O(1) Time Algorithm on BSR for Computing Convex Hull., and . IASTED PDCS, page 143-143. IASTED/ACTA Press, (2002)Program dependence analysis of concurrent logic programs and its applications., , and . ICPADS, page 282-291. IEEE Computer Society, (1996)Applying Design Patterns to Decision Tree Learning System., , and . SIGSOFT FSE, page 111-120. ACM, (1998)Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets., and . Ada-Europe, volume 499 of Lecture Notes in Computer Science, page 125-146. Springer, (1991)Efficient Generation of Gray Codes for Reflectable Languages., , and . ICCSA (4), volume 6019 of Lecture Notes in Computer Science, page 418-426. Springer, (2010)Tasking Deadlocks in Ada 95 Programs and Their Detection., and . Ada-Europe, volume 1088 of Lecture Notes in Computer Science, page 135-146. Springer, (1996)A Run-Time Deadlock Detector for Concurrent Java Programs., , , , and . APSEC, page 45-52. IEEE Computer Society, (2001)Optimal Parallel Merging Algorithms on BSR., and . ISPAN, page 12-17. IEEE Computer Society, (2000)