Files in this item

FilesDescriptionFormat

application/pdf

application/pdfUIUCDCS-R-2008-3030.pdf (265kB)
(no description provided)PDF

Description

Title:Maximality of Atomic Causality
Author(s):Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore
Subject(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
Issue Date:2008-09
Type:Text
URI:http://hdl.handle.net/2142/10798
Date Available in IDEALS:2009-04-14


This item appears in the following Collection(s)

Item Statistics