Verification of Concurrent Objects with Asynchronous Method Calls

IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05) ◽

10.1109/swste.2005.24 ◽

2005 ◽

Cited By ~ 6

Author(s):

J. Dovland ◽

E.B. Johnsen ◽

O. Owe

Keyword(s):

Asynchronous Method ◽

Concurrent Objects

Download Full-text

A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2004.06.012 ◽

2005 ◽

Vol 117 ◽

pp. 375-392 ◽

Cited By ~ 10

Author(s):

Einar Broch Johnsen ◽

Olaf Owe ◽

Eyvind W. Axelsen

Keyword(s):

Asynchronous Method ◽

Concurrent Objects ◽

Run Time

Download Full-text

Formal modeling of synchronization methods for concurrent objects in Ada 95

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 ◽

10.1145/319294.319325 ◽

1999 ◽

Author(s):

Ravi K. Gedela ◽

Sol M. Shatz ◽

Haiping Xu

Keyword(s):

Formal Modeling ◽

Concurrent Objects ◽

Ada 95

Download Full-text

A control-flow analysis for a calculus of concurrent objects

IEEE Transactions on Software Engineering ◽

10.1109/32.859531 ◽

2000 ◽

Vol 26 (7) ◽

pp. 617-634 ◽

Cited By ~ 5

Author(s):

P. di Blasio ◽

K. Fisher ◽

C. Talcott

Keyword(s):

Flow Analysis ◽

Control Flow ◽

Concurrent Objects ◽

Control Flow Analysis

Download Full-text

Reasoning about concurrent objects

Proceedings 1995 Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1995.496957 ◽

2002 ◽

Cited By ~ 3

Author(s):

H.W. Schmidt ◽

J. Chen

Keyword(s):

Concurrent Objects

Download Full-text

Modal-μ-Maude: Specification and Properties of Concurrent Objects

The Kluwer International Series in Engineering and Computer Science - Object Orientation with Parallelism and Persistence ◽

10.1007/978-1-4613-1437-0_3 ◽

1996 ◽

pp. 43-62 ◽

Cited By ~ 1

Author(s):

Ulrike Lechner ◽

Christian Lengauer

Keyword(s):

Concurrent Objects

Download Full-text

Axiomatic Characterization of Trace Reachability for Concurrent Objects

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_9 ◽

2019 ◽

pp. 157-174

Author(s):

Frank S. de Boer ◽

Hans-Dieter A. Hiep

Keyword(s):

Axiomatic Characterization ◽

Concurrent Objects

Download Full-text

Transactional Monitors for Concurrent Objects

ECOOP 2004 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24851-4_24 ◽

2004 ◽

pp. 518-541 ◽

Cited By ~ 26

Author(s):

Adam Welc ◽

Suresh Jagannathan ◽

Antony L. Hosking

Keyword(s):

Concurrent Objects

Download Full-text

Lock-Based Concurrent Objects

Concurrent Programming: Algorithms, Principles, and Foundations ◽

10.1007/978-3-642-32027-9_3 ◽

2012 ◽

pp. 61-109

Author(s):

Michel Raynal

Keyword(s):

Concurrent Objects

Download Full-text

Hybrid Concurrent Objects

Concurrent Programming: Algorithms, Principles, and Foundations ◽

10.1007/978-3-642-32027-9_6 ◽

2012 ◽

pp. 165-187

Author(s):

Michel Raynal

Keyword(s):

Concurrent Objects

Download Full-text

Concurrent objects

The Art of Multiprocessor Programming ◽

10.1016/b978-0-12-415950-1.00012-4 ◽

2021 ◽

pp. 49-74

Author(s):

Maurice Herlihy ◽

Nir Shavit ◽

Victor Luchangco ◽

Michael Spear

Keyword(s):

Concurrent Objects

Download Full-text