Rob J. van Glabbeek
发表
Rob J. van Glabbeek,
R. V. Glabbeek,
2012,
EXPRESS/SOS.
Carroll Morgan,
Matthew Hennessy,
Yuxin Deng,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).