Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets

Fernández, M, Mackie, Ian and Sinot, François-Régis (2006) Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. In: Electronic Notes in Theoretical Computer Science.

Full text not available from this repository.
Item Type: Conference or Workshop Item (Paper)
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Ian Mackie
Date Deposited: 06 Feb 2012 18:32
Last Modified: 12 Apr 2012 09:38
URI: http://sro.sussex.ac.uk/id/eprint/17026
📧 Request an update