Joachim Parrow
-
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
Multiport interaction nets and concurrency
CONCUR 2005 - Concurrency Theory