TU Darmstadt / ULB / TUbiblio

Noninterference under Weak Memory Models (Progress Report)

Mantel, Heiko and Perner, Matthias and Sauer, Jens (2014):
Noninterference under Weak Memory Models (Progress Report).
[Report]

Item Type: Report
Erschienen: 2014
Creators: Mantel, Heiko and Perner, Matthias and Sauer, Jens
Title: Noninterference under Weak Memory Models (Progress Report)
Language: German
Divisions: 20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
20 Department of Computer Science
Date Deposited: 31 Dec 2016 09:57
Identification Number: TUD-CS-2014-0062
Export:

Optionen (nur für Redakteure)

View Item View Item