Cited By
View all- Daszczuk WDaszczuk W(2019)Related Work on Deadlock and Termination Detection TechniquesIntegrated Model of Distributed Systems10.1007/978-3-030-12835-7_2(17-29)Online publication date: 17-Mar-2019
- Weißbach M(2018)Deadlock Analysis of Service-Oriented Systems with Recursion and ConcurrencyAdvances in Service-Oriented and Cloud Computing10.1007/978-3-319-72125-5_20(247-259)Online publication date: 31-Jan-2018
- Daszczuk W(2016)Communication and Resource Deadlock Analysis Using IMDS Formalism and Model CheckingThe Computer Journal10.1093/comjnl/bxw099Online publication date: 20-Dec-2016
- Show More Cited By