ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes
Lecture Notes in Computer Science - FM 2014: Formal Methods
◽
10.1007/978-3-319-06410-9_5
◽
2014
◽
pp. 62-77
◽
Cited By ~ 11
Author(s):
Pedro Antonino
◽
Augusto Sampaio
◽
Jim Woodcock
Keyword(s):
Deadlock Analysis
Download Full-text
Related Documents
Cited By
References
Petri-net-based deadlock analysis of Process Algebra programs
Science of Computer Programming
◽
10.1016/0167-6423(94)00011-5
◽
1994
◽
Vol 23
(1)
◽
pp. 55-89
◽
Cited By ~ 9
Author(s):
P. Rondogiannis
◽
M.H.M. Cheng
Keyword(s):
Petri Net
◽
Process Algebra
◽
Deadlock Analysis
Download Full-text
Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking
The Computer Journal
◽
10.1093/comjnl/bxw099
◽
2016
◽
Cited By ~ 8
Author(s):
Wiktor B. Daszczuk
Keyword(s):
Model Checking
◽
Deadlock Analysis
Download Full-text
On the deadlock analysis of multithreaded control software
ETFA2011
◽
10.1109/etfa.2011.6059039
◽
2011
◽
Cited By ~ 4
Author(s):
Juan-Pablo Lopez-Grao
◽
Jose-Manuel Colom
Keyword(s):
Control Software
◽
Deadlock Analysis
Download Full-text
Deadlock analysis of synchronous message-passing programs
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems
◽
10.1109/pdse.1999.779739
◽
1999
◽
Cited By ~ 6
Author(s):
Zhou
◽
Kuo-Chung Tai
Keyword(s):
Message Passing
◽
Deadlock Analysis
◽
Message Passing Programs
Download Full-text
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
◽
10.1109/tase.2009.27
◽
2009
◽
Author(s):
Jieqi Ding
◽
Han Zhu
◽
Huibiao Zhu
◽
Qin Li
Keyword(s):
Web Resources
◽
Deadlock Analysis
Download Full-text
Deadlock analysis in minimal adaptive routing algorithms using Petri Nets
2010 IEEE International Conference on Systems, Man and Cybernetics
◽
10.1109/icsmc.2010.5641904
◽
2010
◽
Cited By ~ 2
Author(s):
Carlos A. Rovetto
◽
Elia E. Cano
◽
Jose-Manuel Colom
Keyword(s):
Petri Nets
◽
Adaptive Routing
◽
Routing Algorithms
◽
Deadlock Analysis
Download Full-text
Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures
10.1109/cbi52690.2021.00015
◽
2021
◽
Author(s):
Elina Unruh
◽
Patrick Delfmann
◽
Matthias Thimm
Keyword(s):
Petri Nets
◽
Deadlock Analysis
Download Full-text
Deadlock Analysis and Resolution for Multi-robot Systems
Algorithmic Foundations of Robotics XIV - Springer Proceedings in Advanced Robotics
◽
10.1007/978-3-030-66723-8_18
◽
2021
◽
pp. 294-312
Author(s):
Jaskaran Singh Grover
◽
Changliu Liu
◽
Katia Sycara
Keyword(s):
Deadlock Analysis
◽
Robot Systems
◽
Multi Robot
Download Full-text
Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency
Communications in Computer and Information Science - Advances in Service-Oriented and Cloud Computing
◽
10.1007/978-3-319-72125-5_20
◽
2018
◽
pp. 247-259
Author(s):
Mandy Weißbach
Keyword(s):
Deadlock Analysis
◽
Service Oriented
Download Full-text
DEADLOCK ANALYSIS FOR CONTINUOUS PETRI NETS BY USING OVERLAPPING DECOMPOSITIONS
IFAC Proceedings Volumes
◽
10.3182/20070723-3-pl-2917.00023
◽
2007
◽
Vol 40
(9)
◽
pp. 143-148
Author(s):
Hanife Apaydın-Özkan
◽
Aydın Aybar
Keyword(s):
Petri Nets
◽
Deadlock Analysis
◽
Continuous Petri Nets
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close