Interaction Nets vs. the Rho Calculus: Introducing Bigraphical Nets. Proc. of the 12th International Workshop on Expressiveness in Concurrency

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Publication statusPublished - 2005

Cite this