Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
Browse the full CONCUR paper archive.