Nielsen, L.,
Yoshida, N. &
Honda, K.,
2010,
Proceedings 17th International Workshop on Expressiveness in Concurrency . Fröschle, S. & Valencia, F. D. (red.).
Bind 41.
s. 121-135 15 s. (Electronic Proceedings in Theoretical Computer Science).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt