Document Versions

Composition with Consistent Updates for Abstract State Machines –Colin Gordon, Leo Meyerovich, Joel Weinberger, Shriram Krishnamurthi