A formal model of the Extensible Virtual Shared Memory (XVSM) and its implementation in Haskell : design and specification / von Stefan Craß. 2010
Inhalt