On the decidability of process equivalences for the π-calculus

Författare
Mads Dam
Språk
Engelska
Förlag År Ort Om boken ISBN
Swedish Institute of Computer Science (SICS) 1994 Sverige, Kista 16 sidor.