Modelling Shared State in a Shared Action Model

Kenneth J. Goldman, Nancy A. Lynch

Browse the full LICS paper archive.