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

The Surface family of devices

Surface devices

Anything but ordinary

Person using Power BI Desktop

Power BI

Transform data into actionable insights with dashboards and reports

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.