Composition with Consistent Updates for Abstract State Machines
@inproceedings{gordon07asm,
author = {Colin Gordon and Leo Meyerovich and Joel Weinberger and Shriram Krishnamurthi},
title = {Composition with Consistent Updates for Abstract State Machines},
booktitle = {Proc. of the International ASM Workshop, 2007},
year = {2007},
}