Algorithmic type checking for a pi-calculus with name matching and session types
Giunti, MarcoVolume:
82
Language:
english
Journal:
The Journal of Logic and Algebraic Programming
DOI:
10.1016/j.jlap.2013.05.003
Date:
November, 2013
File:
PDF, 395 KB
english, 2013