John Lee, Alan Fekete Multi-Granularity Locking for Nested Transactions: A Proof Using a Possibilities Mapping. [Citation Graph (0, 0)][DBLP] Acta Inf., 1996, v:33, n:2, pp:131-152 [Journal]
Antonio Cau, Pierre Collette Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency. [Citation Graph (0, 0)][DBLP] Acta Inf., 1996, v:33, n:2, pp:153-176 [Journal]