A fully abstract may testing semantics for concurrent objects

Alan Jeffrey; Julian Rathke

doi:10.1016/j.tcs.2004.10.012

A fully abstract may testing semantics for concurrent objects

Theoretical Computer Science ◽

10.1016/j.tcs.2004.10.012 ◽

2005 ◽

Vol 338 (1-3) ◽

pp. 17-63 ◽

Cited By ~ 19

Author(s):

Alan Jeffrey ◽

Julian Rathke

Keyword(s):

Concurrent Objects ◽

Testing Semantics

Download Full-text

A fully abstract may testing semantics for concurrent objects

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2002.1029820 ◽

2003 ◽

Cited By ~ 11

Author(s):

A. Jeffrey ◽

J. Rathke

Keyword(s):

Concurrent Objects ◽

Testing Semantics

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

Testing semantics for unbounded nondeterminism

Euro-Par'97 Parallel Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0002780 ◽

1997 ◽

pp. 538-545 ◽

Cited By ~ 1

Author(s):

Luis Fdo. Llana Díaz ◽

Manuel Núñez

Keyword(s):

Testing Semantics

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