Expressing BBUFs Lookup Using the π-Calculus.

Gabriel Ciobanu, Dan Cojocar

Browse the full SYNASC paper archive.