Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | D. Manivannan 0001, Mukesh Singhal |
On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCS ![In: Proceedings of the ISCA 16th International Conference on Parallel and Distributed Computing Systems, August 13-15, 2003, Atlantis Hotel, Reno, Nevada, USA, pp. 309-314, 2003, ISCA, 1-880843-48-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
20 | Sugath Warnakulasuriya, Timothy Mark Pinkston |
Characterization of Deadlocks in Irregular Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 62(1), pp. 61-84, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Soojung Lee |
A Fast Algorithm for Detecting Distributed Deadlocks in the OR Request Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), San Francisco, CA, USA, April 23-27, 2001, pp. 79, 2001, IEEE Computer Society, 0-7695-0990-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Lisbeth Fajstrup |
Loops, ditopology and deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 10(4), pp. 459-480, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Elzbieta Roszkowska |
Preventing Second Level and Avoiding First Level Deadlocks in FMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2000 IEEE International Conference on Robotics and Automation, ICRA 2000, April 24-28, 2000, San Francisco, CA, USA, pp. 2859-2864, 2000, IEEE, 0-7803-5889-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Mark J. Karol, S. Jamaloddin Golestani, David Lee |
Prevention of Deadlocks and Livelocks in Lossless, Backpressured Packet Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM 2000, The Conference on Computer Communications, Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies, Reaching the Promised Land of Communications, Tel Aviv, Israel, March 26-30, 2000, pp. 1333-1342, 2000, IEEE Computer Society, 0-7803-5880-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Kia Makki, Niki Pissinou |
Efficient detection and resolution of deadlocks in distributed databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 22(7), pp. 637-643, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | George Dimitoglou |
Deadlocks and Methods for their Detection, Prevention and Recovery in Modern Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 32(3), pp. 51-54, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Junghanns, Jonathan Schaeffer |
Single-Agent Search in the Presence of Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 98, IAAI 98, July 26-30, 1998, Madison, Wisconsin, USA., pp. 419-425, 1998, AAAI Press / The MIT Press, 0-262-51098-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
20 | Zhibin Jiang, Ming Jian Zuo |
Object-oriented Petri nets with changeable structure (OPNs-CS): analysis on conflicts and deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 1998, Hyatt Regency La Jolla, San Diego, California, USA, October 11-14,1998, pp. 55-60, 1998, IEEE, 0-7803-4778-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Naiqi Wu |
Avoiding deadlocks in automated manufacturing systems with shared material handling system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1997 IEEE International Conference on Robotics and Automation, Albuquerque, New Mexico, USA, April 20-25, 1997, pp. 2427-2432, 1997, IEEE, 0-7803-3612-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Ajay D. Kshemkalyani, Mukesh Singhal |
Distributed Detection of Generalized Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 17th International Conference on Distributed Computing Systems, Baltimore, MD, USA, May 27-30, 1997, pp. 553-560, 1997, IEEE Computer Society, 0-8186-7813-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Viren Shah, Sandeepan Sanyal, Samrat Bhattacharya |
Deadlocks in fully uncoordinated checkpointing rollback recovery systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 5-7 February 1997, Newport Beach, CA, USA, pp. 190-197, 1997, IEEE Computer Society, 0-8186-8046-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Timothy Mark Pinkston, Sugath Warnakulasuriya |
On Deadlocks in Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 24th International Symposium on Computer Architecture, Denver, Colorado, USA, June 2-4, 1997, pp. 38-49, 1997, ACM, 0-89791-901-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Soojung Lee, Junguk L. Kim |
Resolving all Deadlocks in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 55(5), pp. 265-271, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Y. C. Tay, W. Tim Loke |
On Deadlocks of Exclusive AND-Requests for Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 9(2), pp. 77-94, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Kjersti Moldeklev, Per Gunningberg |
How a large ATM MTU causes deadlocks in TCP data transfers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 3(4), pp. 409-422, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Dal-Soo Ryang, Kyu Ho Park |
A Two-Level Distributed Detection Algorithm of AND/OR Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 28(2), pp. 149-161, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Mathias Weske |
Deadlocks in Computersystemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
20 | Kia Makki, Niki Pissinou |
Detection and Resolution of Deadlocks in Distributed Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28 - December 2, 1995, Baltimore, Maryland, USA, pp. 411-416, 1995, ACM, 0-89791-812-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Katsutoshi Hirayama, Jun'ichi Toyoda |
Forming Coalitions for Breaking Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMAS ![In: Proceedings of the First International Conference on Multiagent Systems, June 12-14, 1995, San Francisco, California, USA, pp. 155-162, 1995, The MIT Press, 0-262-62102-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
20 | Shigang Chen, Yi Deng 0001, Wei Sun 0002, Naphtali Rishe |
Efficient algorithms for detection and resolution of distributed deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, SPDP 1995, San Antonio, Texas , USA, October 25-28, 1995, pp. 10-16, 1995, IEEE, 0-8186-7195-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal |
Deadlocks in Distributed Systems: Request Models and Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 186-193, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Deadlock models, message communication systems, distributed algorithms, distributed deadlock detection |
20 | Wee Keong Ng, Chinya V. Ravishankar |
On-Line Detection and Resolution of Communication Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 27th Annual Hawaii International Conference on System Sciences (HICSS-27), January 4-7, 1994, Maui, Hawaii, USA, pp. 524-533, 1994, IEEE Computer Society, 0-8186-5090-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
20 | Ndombe Cacutalua |
On deadlocks in concurrent systems: a Petri net based approach for deadlock prediction and avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
20 | Kelwyn A. D'Souza, Zbigniew Antoni Banaszak, Robert Wójcik |
Modeling and control of deadlocks in a flexible machining cell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 25th Winter Simulation Conference, Los Angeles, California, USA, December 12-15, 1993, pp. 923-929, 1993, ACM Press, 0-7803-1381-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Kenneth Luo, William Klostermeyer, Yuan-Chieh Chow |
A Distributed Algorithm for Detecting and Resolving Store-and-Forward Deadlocks in Networks with Minimum Exchange Buffers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28 - April 1, 1993, pp. 994-1003, 1993, IEEE Computer Society, 0-8186-3580-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Anatoly E. Doroshenko |
On Asynchronous Avoidance of Deadlocks in Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 2, pp. 291-297, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Richard A. Wysk, Neng-Shu Yang, Sanjay B. Joshi |
Detection of deadlocks in flexible manufacturing cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics Autom. ![In: IEEE Trans. Robotics Autom. 7(6), pp. 853-859, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Greg Findlow |
Can Skeletons Really be Used to Detect Deadlocks of Nets? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, PNPM 1991, Melbourne, Victoria, Australia, December 2-5, 1991, pp. 198-203, 1991, IEEE Computer Society, 0-8186-2285-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Kunwarjit S. Bagga, Frank W. Owens |
Petri nets, state machines, and deadlocks (abstract and references only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 19th annual conference on Computer Science, CSC '91, San Antonio, Texas, USA, March 4-7, 1991, pp. 633, 1991, ACM, 0-89791-382-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Joffroy Beauquier, Annie Choquet, Antoine Petit 0001, Guy Vidal-Naquet |
Detection of Deadlocks in an Infinite Family of Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings, pp. 334-347, 1991, Springer, 3-540-53709-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
deadlock detection, massive parallelism |
20 | C. Breitenbach, Gerhard Haßlinger, P. Herold |
Deadlocks in einem verteilten System mit zentraler Datenhaltung: Vergleich von Auflösungsstrategien und Abschätzung der Deadlockrate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kommunikation in Verteilten Systemen ![In: Kommunikation in Verteilten Systemen, Grundlagen, Anwendungen, Betrieb, GI/ITG-Fachtagung, Mannheim, 20.-22. Februar 1991, Proceedings, pp. 320-334, 1991, Springer, 3-540-53721-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Shu-jen Wang, Mukesh Singhal, Ming T. Liu |
Efficient Detection of Communication Deadlocks in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP (2) ![In: Proceedings of the International Conference on Parallel Processing, ICPP '91, Austin, Texas, USA, August 1991. Volume II: Software., pp. 302-303, 1991, CRC Press. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
20 | Y. F. Huang, Y. H. Chin |
Mathematical studies on a transaction's waits and deadlocks in a 2pl environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 37(3-4), pp. 173-184, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
20 | David A. Bell, Chengqi Zhang |
Description and treatment of deadlocks in the Hecodes distributed expert system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. ![In: IEEE Trans. Syst. Man Cybern. 20(3), pp. 654-664, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Michel Minoux, Kamel Barkaoui |
Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 29(2-3), pp. 195-210, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Christopher H. Nevison |
Restructuring networks to avoid deadlocks in parallel simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 22th Winter Simulation Conference, New Orleans, Louisiana, USA, December 9-12, 1990, pp. 446-452, 1990, IEEE Computer Society, 0-911801-72-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Jingde Cheng |
Task-wait-for graphs and their application to handling tasking deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the conference on TRI-ADA 1990, TRI-Ada 1990, Baltimore, Maryland, USA, December 3-6, 1990, pp. 376-390, 1990, ACM, 978-0-89791-409-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Kunwarjit S. Bagga, Frank W. Owens |
Deadlocks and traps in complete Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Computer Trends in the 1990s - Proceedings of the 1989 ACM 17th Annual Computer Science Conference, Louisville, Kentucky, USA, February 21-23, 1989, pp. 412, 1989, ACM, 0-89791-299-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Dieter Zöbel, Christoph Koch 0002 |
Resolution techniques and Complexity Results with Deadlocks: A Classifying and Annotated Bibliography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 22(1), pp. 52-72, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
20 | Yin-Fu Huang, Yeh-Hao Chin |
A probabilistic study on the transaction's waits and deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Twelfth International Computer Software and Applications Conference, COMPSAC 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988, pp. 337-344, 1988, IEEE, 0-8186-0873-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
20 | Rakesh Agrawal 0001, Michael J. Carey 0001, Lawrence W. McVoy |
The Performance of Alternative Strategies for Dealing with Deadlocks in Database Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 13(12), pp. 1348-1363, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
20 | Cheung-Wing Chan, Tak-Shing Yum |
An Algorithm for Detecting and Resolving Store-and-Forward Deadlocks in Packet-Switched Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 35(8), pp. 801-807, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
20 | J. G. Hunt |
Detection of deadlocks in multiprocess systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 21(1), pp. 46-48, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
20 | N. Natarajan |
A Distributed Scheme for Detecting Communication Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 12(4), pp. 531-537, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
20 | Tak-Shing Peter Yum, Cheung-Wing Chan |
An Algorithm for Detecting & Resolving Store-and-Forward Deadlocks in Packet-Switched Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: IEEE International Conference on Communications: Integrating the World Through Communications, ICC 1986, Toronto, Canada, June 22-25, 1986, Proceedings, pp. 114-118, 1986, IEEE. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
20 | Jacek Swiderski |
Examining Packet-Switched Networks with Local Congestion Control for Exposure to Store-and-Forward Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCC ![In: New Communication Services: A Challenge to Computer Technology, Proceedings of the Eigth International Conference on Computer Communication, Munich, Germany, September 15-19, 1986, pp. 670-674, 1986, International Council for Computer Communication / Elsevier, 0-444-70060-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
20 | Boris Shenker, Tadao Murata, Sol M. Shatz |
Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FJCC ![In: Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, pp. 1072-1081, 1986, IEEE Computer Society, 0-8186-0743-2. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
20 | Ottomar Herrlich, Rolf Detering, Mieczyslaw A. Klopotek |
Towards Prevention of Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 21(9), pp. 441-451, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
20 | Winfried Scherg |
Ein einfacher Algorithmus zur Auflösung von Deadlocks in verteilten Datenbanksystemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Angew. Inform. ![In: Angew. Inform. 26(2), pp. 60-61, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
20 | Steven M. German, David P. Helmbold, David C. Luckham |
Monitoring for deadlocks in Ada tasking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AdaTEC Conference on Ada ![In: Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia, USA, October 6-8, 1982, pp. 10-25, 1982, ACM, 0-89791-087-7. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
20 | Eljas Soisalon-Soininen, Derick Wood |
An Optimal Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California, USA, pp. 108-116, 1982, ACM, 0-89791-070-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
20 | K. H. Kim, A. Abou-El-Maga, S. Neu, Seung-Min Yang |
Process Scheduling and Prevention of Conmunication Deadlocks in an Experimental Microcomputer Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the Real-Time Systems Symposium, RTSS 1982, Los Angeles, California, USA, December 7-9, 1982, pp. 124-132, 1982, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
20 | K. Mani Chandy, Jayadev Misra |
A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Ottawa, CanadaAugust 18-20, 1982, pp. 157-164, 1982, ACM, 0-89791-081-8. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
20 | Kegang Hao, Raymond T. Yeh |
Detection of Inherent Deadlocks in Distributed Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 3rd International Conference on Distributed Computing Systems, Miami/Ft. Lauderdale, Florida, USA, October 18-22, 1982, pp. 518-524, 1982, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
20 | Klaus D. Günther |
Prevention of Deadlocks in Packet-Switched Data Transport Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 29(4), pp. 512-524, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
20 | Witold Lipski Jr., Christos H. Papadimitriou |
A Fast Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Algorithms ![In: J. Algorithms 2(3), pp. 211-226, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
20 | Joseph Sifakis |
Deadlocks and Livelocks in Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980, pp. 587-600, 1980, Springer, 3-540-10027-X. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
20 | Z. Laborczi |
A note on deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 4(2), pp. 179-184, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
20 | A. Nico Habermann |
A new approach to avoidance of system deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Operating Systems ![In: Operating Systems, Proceedings of an International Symposium held at Rocquencourt, France, April 23-25, 1974, pp. 163-170, 1974, Springer, 3-540-06849-X. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
20 | Dennis J. Frailey |
A Practical Approach to Managing Resources and Avoiding Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 16(5), pp. 323-329, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
20 | Edward G. Coffman Jr., M. J. Elphick, Arie Shoshani |
System Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 3(2), pp. 67-78, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
20 | Richard C. Holt |
Comments on Prevention of System Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 14(1), pp. 36-38, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
20 | Rafael O. Fontao |
A Concurrent Algorithm for Avoiding Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Third Symposium on Operating System Principles, SOSP 1971, Stanford University, Palo Alto, California, USA, October 18-20, 1971, pp. 72-79, 1971, ACM. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
20 | H. D. Baecker |
A note on data base deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 13(7), pp. 451, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
20 | Arie Shoshani, Edward G. Coffman Jr. |
Sequencing Tasks in Multiprocess Systems to Avoid Deadlocks ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970, pp. 225-235, 1970, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
20 | A. Nico Habermann |
Prevention of system deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(7), pp. 373-377, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
scheduling, resource allocation, multiprogramming, time-sharing |
19 | Divakar Yadav, Michael J. Butler |
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 152-176, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen |
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 675-681, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Zuohua Ding |
Static Analysis of Concurrent Programs Using Ordinary Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, pp. 1-35, 2009, Springer, 978-3-642-03465-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Boundedness checking, Concurrent program, Ordinary differential equation, Deadlock detection, State explosion |
19 | Benoît Caldairou, Benoît Naegel, Nicolas Passat |
Segmentation of Complex Images Based on Component-Trees: Methodological Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Application to Signal and Image Processing, 9th International Symposium, ISMM 2009, Groningen, The Netherlands, August 24-27, 2009 Proceedings, pp. 171-180, 2009, Springer, 978-3-642-03612-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Component-trees, attribute-filtering, segmentation, grey-level images |
19 | ZhiWu Li 0001, MengChu Zhou |
On Siphon Computation for Deadlock Control in a Class of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(3), pp. 667-679, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Nalaka Gooneratne, Zahir Tari, James Harland |
VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 585-591, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | José Miguel Montañana, José Flich, José Duato |
Epoch-based reconfiguration: Fast, simple, and effective dynamic network reconfiguration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-12, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Alberto Portilla, Genoveva Vargas-Solar, Luciano García-Bañuelos, Christine Collet, José-Luis Zechinelli-Martini |
Verifying Atomicity Requirements of Services Coordination Using B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: Ninth Mexican International Conference on Computer Science, ENC 2008, 6-10 October 2008, Mexicali, Baja California, Mexico, pp. 238-248, 2008, IEEE Computer Society, 978-0-7695-3439-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Seungjoo Lee, Dawn M. Tilbury |
Deadlock-Free Resource Allocation Control for a Reconfigurable Manufacturing System With Serial and Parallel Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 37(6), pp. 1373-1381, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Md. Abdur Razzaque, Md. Mamun-Or-Rashid, Choong Seon Hong |
MC2DR: Multi-cycle Deadlock Detection and Recovery Algorithm for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings, pp. 554-565, 2007, Springer, 978-3-540-75443-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | César Sánchez 0001, Henny B. Sipma, Zohar Manna |
Generating Efficient Distributed Deadlock Avoidance Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-8, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Hong Liu 0008, Fei Lin, Hongbin Zha |
Fuzzy Decision Method for Motion Deadlock Resolving in Robot Soccer Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 1337-1346, 2007, Springer, 978-3-540-74170-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Deadlock Resolving, Fuzzy Decision, Soccer Robot |
19 | Cyrille Artho, Christian Sommer 0001, Shinichi Honiden |
Model Checking Networked Programs in the Presence of Transmission Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 219-228, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Yibei Ling, Shigang Chen, Cho-Yu Jason Chiang |
On Optimal Deadlock Detection Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(9), pp. 1178-1187, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Deadlock detection scheduling, deadlock formation rate, deadlock persistence time |
19 | Jiannong Cao 0001, Jingyang Zhou, Weiwei Zhu, Xuhui Li 0001 |
Mobile agent-enabled framework for structuring and building distributed systems on the internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(6), pp. 885-905, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
distributed systems, mobile agent, internet computing, deadlock detection |
19 | Manuel Prieto 0002, Jesús E. Villadangos, Federico Fariña, Alberto Córdoba |
An O(n) Distributed Deadlock Resolution Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 14th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2006), 15-17 February 2006, Montbeliard-Sochaux, France, pp. 48-55, 2006, IEEE Computer Society, 0-7695-2513-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Deadlock detection/resolution, Single-resource request model, Distributed systems, Complexity, Distributed algorithms |
19 | Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer |
Autolocker: synchronization inference for atomic sections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 346-358, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
pessimistic, atomic, lock |
19 | Christian F. Orellana, Cristian Ruz, Yadran Eterovic |
Self-stabilizing Deadlock Detection Under the OR Requirement Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28 - September 1, 2006, Proceedings, pp. 559-570, 2006, Springer, 3-540-37783-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Juan-Pablo López-Grao, José Manuel Colom |
Resource Allocation Systems: Some Complexity Results on the S4PR Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006., pp. 323-338, 2006, Springer, 3-540-46219-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Masaki Hasegawa, Subhash Bhalla, Laurence Tianruo Yang |
Elimination of Non-deterministic Delays in a Real-Time Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings, pp. 172-185, 2005, Springer, 3-540-30881-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Shigang Chen, Yibei Ling |
Stochastic analysis of distributed deadlock scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005, pp. 265-273, 2005, ACM, 1-58113-994-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
deadlock detection scheduling, deadlock formation rate, deadlock persistence time |
19 | César Sánchez 0001, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna |
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 159-173, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili |
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 405-409, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
component assembly, component based software engineering, component adaptation |
19 | Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund |
Exploiting equivalence reduction and the sweep-line method for detecting terminal states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 34(1), pp. 23-37, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Fu-Shiung Hsieh |
Fault-tolerant deadlock avoidance algorithm for assembly processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 34(1), pp. 65-79, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Zhiwu Li 0001, Weixian Cao, Anrong Wang |
Analysis of a siphon-based deadlock prevention policy for flexible manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 515-520, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Ingebjørg Theiss, Olav Lysne |
LORE - Local Reconfiguration for Fault Management in Irregular Interconnects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Kamel Barkaoui, Rabah Benamara |
On Concurrency Control in Multidatabase Systems with an Extended Transaction Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 24(2), pp. 193-202, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
global deadlock, extended transaction model, multidatabase systems |
19 | P. Krishna Reddy, Subhash Bhalla |
Asynchronous Operations in Distributed Concurrency Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(3), pp. 721-733, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
nonblocking protocols, distributed algorithms, distributed databases, Concurrency control, serializability, deadlock avoidance |
19 | Axel Siebenborn, Oliver Bringmann 0001, Wolfgang Rosenstiel |
Worst-case performance analysis of parallel, communicating software processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Tenth International Symposium on Hardware/Software Codesign, CODES 2002, Estes Park, Colorado, USA, May 6-8, 2002, pp. 37-42, 2002, ACM, 1-58113-542-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Lorenzo Fernández Maimó, José M. García 0001, Rafael Casado |
On Deadlock Frequency during Dynamic Reconfiguration in NOWs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2001: Parallel Processing, 7th International Euro-Par Conference Manchester, UK August 28-31, 2001, Proceedings, pp. 630-638, 2001, Springer, 3-540-42495-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Nima Kaveh, Wolfgang Emmerich |
Deadlock detection in distribution object systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 44-51, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
object middleware, model checking, UML, UML, process algebra |