Communicating and mobile systems : the π-calculus

Robin Milner
Bok · Engelsk · 1999

Utgitt	Cambridge : Cambridge University Press , 1999
Omfang	XII, 161 s. : ill.
Emner	Mobile computing Pi-calculus Telecommunication systems Formelle kommunikasjonsmodeller Vis mer... Formelle modeller : (NO-TrBIB)REAL002432 Mobil kommunikasjon Telekommunikasjoner
Dewey	004.62
ISBN	0521643201. - 0521658691