Download MikroKosmos: A Verification-Oriented Model Implementation of an STM in C# from Official Microsoft Download Center

Surface Go in a woman's hand as she walks

NEW Surface Go

Portable power

MikroKosmos: A Verification-Oriented Model Implementation of an STM in C#

Important! Selecting a language below will dynamically change the complete page content to that language.

Language:
English
This model implementation of software transactional memory (STM) is based on a 2006 version of the Bartok STM developed at Microsoft and this PLDI ’06 paper: Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi. Last published: August 19, 2008.