"Derivable Partial Locking for Algebraic Data Types."

Boldizsár Németh, Zoltán Kelemen (2015)

Details and statistics

DOI: 10.14232/ACTACYB.22.1.2015.10

access: closed

type: Journal Article

metadata version: 2017-05-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics