Stochastic bigraphs, (2008)

by J Krivine, R Milner, A Troina
Venue:Electron. Notes Theor. Comput. Sci.