LEADER 01222nas2-2200349---450-
001 990003252820203316
005 20090525085701.0
035   $a000325282
035   $aUSA01000325282
035   $a(ALEPH)000325282USA01
035   $a000325282
100   $a20090525d1981----km-y0itay50------ba
101   $aita
102   $aIT
105   $a||||||||001yy
200 1 $a<<A>> natural equivalence on Milner's synchronization trees$eHypotheses and related tests$fG. Jacopini, G. Sontacchi
210   $aRoma$cIstituto per le applicazioni8 del calcolo "Mauro Picone"$d1981
215   $a15 p.$d24 cm
225 2 $aIAC. Istituto per le applicazioni del calcolo "Mauro Picone"$v213$iPubblicazioni. Serie III
410  0$1001000325247$aIAC. Istituto per le applicazioni del calcolo "Mauro Picone"$12001$v213
606 0 $aProbabilità
676   $a519
700  1$aJACOPINI,$bGiuseppe$0604357
701  1$aSONTACCHI,$bG.$0604358
801   $aITA$bsalbc$gISBD
912   $a990003252820203316
951   $a519 IAC (213)$b18136/CBS$c519
959   $aBK
969   $aSCI
979   $aRSIAV6$b90$c20090525$lUSA01$h0857
996   $aNatural equivalence on Milner's synchronization trees$91119532
997   $aUNISA