Maximality of Atomic Causality

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Permalink

https://hdl.handle.net/2142/10798 Copy

Description

Title

Maximality of Atomic Causality

Author(s)

• Serbanuta, Traian Florin
• Chen, Feng
• Rosu, Grigore

Issue Date

2008-09

Keyword(s)

Computer Science

Abstract

ACM Classification: F.3.2 Semantics of Programming Languages D.2.4 Software/Program Verification D.2.5 Testing and Debugging

Type of Resource

text

Permalink

http://hdl.handle.net/2142/10798

Owning Collections