Search for persons
X
?
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages ,
8
A logic you can count on:
, In:
?
9
CONCUR 2003 - Concurrency Theory
14th International Conference, Marseille, France, September...
Lecture Notes in Computer Science ; 2761