Skip to content

GSD

Sections
Personal tools
You are here: Home » Teaching » Distributed Computing » DC - Distributed Computing (2007 - 2008) » Papers » A New Approach to Proving the Correctness of Multiprocess Programs

A New Approach to Proving the Correctness of Multiprocess Programs

Document Actions

The link address is: http://research.microsoft.com/users/lamport/pubs/new-approach.pdf

Created by psa
Last modified 2007-10-16 05:56 PM
« December 2014 »
Su Mo Tu We Th Fr Sa
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31      
 
 

Powered by Plone

This site conforms to the following standards: