Nr. 18 (2003): RS-18 Syntactic Formats for Free: An Abstract Approach to Process Equivalence

Publiceret: 2003-01-18