An ASM specification of C# threads and the .NET memory model

Metadata Label Value
Author(s): Stärk, Robert F., Börger E. (Egon)
Publisher: ETH, Department of Computer Science
Citation:

Stärk, Robert F. and Börger E. (Egon). An ASM specification of C# threads and the .NET memory model. ETH, Department of Computer Science (2003). http://dx.doi.org/10.3929/ethz-a-006731851

Document Type: Reports  
Documents: Text (244.88KB)
Import to Mendeley

Detailed Information

Metadata Description
Title An ASM specification of C# threads and the .NET memory model
Author(s) Stärk, Robert F.
Börger E. (Egon)
Publication Place Zurich
Publisher ETH, Department of Computer Science
Publication Date 2003
Series [Technical report / ETH, Department of Computer Science] [428]
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006731851
Subject(s) Software
Keyword(s) SPECIFICATIONS
PROGRAMMING ENVIRONMENTS
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-4739-01.pdf application/pdf 244.88KB
Abstract Views and Downloads
Views 32  abstracts
Downloads 81  downloads

Abstract Views and Downloads by Country
Views 15  abstracts
Downloads 38  downloads
United States Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Hungary Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Mexico Views abstracts
Downloads downloads
New Zealand Views abstracts
Downloads downloads
Norway Views abstracts
Downloads downloads
Philippines Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads
Thailand Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads


E-Collection record created: Sun, 11 Dec 2011, 05:38:23 CET