scholarly journals May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects

2013 ◽  
pp. 273-288 ◽  
Author(s):  
Antonio E. Flores-Montoya ◽  
Elvira Albert ◽  
Samir Genaim
Keyword(s):  
Deadlock Analysis ◽  
Concurrent Objects

scholarly journals Deadlock Analysis of Concurrent Objects: Theory and Practice

2013 ◽  
pp. 394-411 ◽  
Author(s):  
Elena Giachino ◽  
Carlo A. Grazia ◽  
Cosimo Laneve ◽  
Michael Lienhardt ◽  
Peter Y. H. Wong
Keyword(s):  
Theory And Practice ◽  
Deadlock Analysis ◽  
Concurrent Objects

scholarly journals Petri-net-based deadlock analysis of Process Algebra programs

1994 ◽  
Vol 23 (1) ◽  
pp. 55-89 ◽  
Author(s):  
P. Rondogiannis ◽  
M.H.M. Cheng
Keyword(s):  
Petri Net ◽  
Process Algebra ◽  
Deadlock Analysis

A control-flow analysis for a calculus of concurrent objects

2000 ◽  
Vol 26 (7) ◽  
pp. 617-634 ◽  
Author(s):  
P. di Blasio ◽  
K. Fisher ◽  
C. Talcott
Keyword(s):  
Flow Analysis ◽  
Control Flow ◽  
Concurrent Objects ◽  
Control Flow Analysis
Sign in / Sign up

Export Citation Format

Share Document