Nielsen, L.,
Yoshida, N. &
Honda, K.,
2010,
Proceedings 17th International Workshop on Expressiveness in Concurrency . Fröschle, S. & Valencia, F. D. (eds.).
Vol. 41.
p. 121-135 15 p. (Electronic Proceedings in Theoretical Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review