@dblp

A Resource Analysis of the π-calculus.

, und . MFPS, Volume 276 von Electronic Notes in Theoretical Computer Science, Seite 313-334. Elsevier, (2011)

Links und Ressourcen

Tags