scholarly journals Progress of Concurrent Objects

2020 ◽  
Vol 5 (4) ◽  
pp. 282-414
Author(s):  
Hongjin Liang ◽  
Xinyu Feng
Keyword(s):  
Concurrent Objects

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

Reasoning about concurrent objects

2002 ◽  
Author(s):  
H.W. Schmidt ◽  
J. Chen
Keyword(s):  
Concurrent Objects

scholarly journals Axiomatic Characterization of Trace Reachability for Concurrent Objects

2019 ◽  
pp. 157-174
Author(s):  
Frank S. de Boer ◽  
Hans-Dieter A. Hiep
Keyword(s):  
Axiomatic Characterization ◽  
Concurrent Objects

scholarly journals Transactional Monitors for Concurrent Objects

2004 ◽  
pp. 518-541 ◽  
Author(s):  
Adam Welc ◽  
Suresh Jagannathan ◽  
Antony L. Hosking
Keyword(s):  
Concurrent Objects

Lock-Based Concurrent Objects

2012 ◽  
pp. 61-109
Author(s):  
Michel Raynal
Keyword(s):  
Concurrent Objects

Hybrid Concurrent Objects

2012 ◽  
pp. 165-187
Author(s):  
Michel Raynal
Keyword(s):  
Concurrent Objects

Concurrent objects

2021 ◽  
pp. 49-74
Author(s):  
Maurice Herlihy ◽  
Nir Shavit ◽  
Victor Luchangco ◽  
Michael Spear
Keyword(s):  
Concurrent Objects

A calculus for concurrent objects

1996 ◽  
pp. 655-670 ◽  
Author(s):  
Paolo Blasio ◽  
Kathleen Fisher
Keyword(s):  
Concurrent Objects
Sign in / Sign up

Export Citation Format

Share Document