共 50 条
- [42] The Detection and Prevention of Deadlock in Petri Nets [J]. 2011 INTERNATIONAL CONFERENCE ON PHYSICS SCIENCE AND TECHNOLOGY (ICPST), 2011, 22 : 656 - 659
- [44] Multithreaded test synthesis for deadlock detection [J]. Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 2014, : 473 - 489
- [45] Deadlock Detection in Discrete Concurrent Systems [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2008, 8 (09): : 327 - 331
- [47] OPTIMAL TIMES OF DEADLOCK DETECTION SCHEDULE [J]. PROCEEDINGS 18TH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY & QUALITY IN DESIGN, 2012, : 96 - +
- [48] A framework for deadlock detection in core ABS [J]. SOFTWARE AND SYSTEMS MODELING, 2016, 15 (04): : 1013 - 1048
- [50] DEADLOCK DETECTION IN DISTRIBUTED DATABASES. [J]. Computing surveys, 1987, 19 (04): : 303 - 328