Maximality of Atomic Causality

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

Permalink

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

Description

Title

Maximality of Atomic Causality

Author(s)

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

Issue Date

2008-09

Keyword(s)

• semantics
• programming languages

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/11516

Copyright and License Information

You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).

Owning Collections