File(s) not publicly available
Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets
presentation
posted on 2023-06-07, 20:27 authored by M Fernández, Ian MackieIan Mackie, François-Régis SinotNo description supplied
History
Publication status
- Published
Issue
3Volume
154Pages
14.0Presentation Type
- paper
Event name
Electronic Notes in Theoretical Computer ScienceEvent type
conferenceDepartment affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes