Interaction nets with McCarthy's amb: properties and applications
Nordic Journal of Computing
Multiport interaction nets and concurrency
CONCUR 2005 - Concurrency Theory
Call-by-need in token-passing nets
Mathematical Structures in Computer Science
Interaction Nets With Nested Pattern Matching
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Token-Passing Nets: Call-by-Need for Free
Electronic Notes in Theoretical Computer Science (ENTCS)
A hierarchy of expressiveness in concurrent interaction nets
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 0.00 |