relation: http://acta.bibl.u-szeged.hu/61681/
title: Derivable partial locking for algebraic data types
creator:  Németh Boldizsár
creator:  Kelemen Zoltán
date: 2014
type: Konferencia vagy workshop anyag
type: NonPeerReviewed
format: part
language: hu
identifier: http://acta.bibl.u-szeged.hu/61681/1/cscs_2014_047-048.pdf
identifier:    Németh Boldizsár;  Kelemen Zoltán:   Derivable partial locking for algebraic data types.