Preserving coordination properties when transforming concurrent system components.
Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland
Browse the full SAC paper archive.
Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland
Browse the full SAC paper archive.