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 ◽

Author(s):

Ulrike Lechner ◽

Christian Lengauer

Keyword(s):

Concurrent Objects

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 ◽

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 ◽

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 ◽

Author(s):

H.W. Schmidt ◽

J. Chen

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 ◽

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

A calculus for concurrent objects

CONCUR '96: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-61604-7_82 ◽

1996 ◽

pp. 655-670 ◽

Author(s):

Paolo Blasio ◽

Kathleen Fisher

Keyword(s):

Concurrent Objects

Download Full-text

Actors and agents as reflective concurrent objects: a MERING IV perspective

IEEE Transactions on Systems Man and Cybernetics ◽

10.1109/21.135686 ◽

1991 ◽

Vol 21 (6) ◽

pp. 1420-1436 ◽

Author(s):

J. Ferber ◽

P. Carle

Keyword(s):

Concurrent Objects

Download Full-text