Sequential and Concurrent Abstract Machines for Interaction Nets.

Jorge Sousa Pinto

Browse the full FOSSACS paper archive.