@article {DBLP:journals/entcs/AlmeidaPV08,
	title = {Token-passing Nets for Functional Languages},
	journal = {Electronic Notes in Theoretical Computer Science},
	volume = {204},
	year = {2008},
	pages = {181-198},
	abstract = {<p>Token-passing nets were proposed by Sinot as a simple mechanism for encoding evaluation strategies for the λ-calculus in interaction nets. This work extends token-passing nets to cover a typed functional language equipped with structured types and unrestricted recursion. The resulting interaction system is derived systematically from the chosen big-step operational semantics. Along the way, we actually characterize and discuss several design decisions of token-passing nets and extend them in order to achieve simpler interaction net systems with a higher degree of embedded parallelism.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jba/files/07tnfp.pdf},
	author = {Jos{\'e} Bacelar Almeida and Jorge Sousa Pinto and Miguel Vila{\c c}a}
}