A. Carayol, D. Hirschkoff, D. Sangiorgi (2005). On the representation of McCarthy's amb in the Pi-calculus. THEORETICAL COMPUTER SCIENCE, 330, 439-473 [10.1016/j.tcs.2004.10.005].
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.