Communicating and mobile systems the pi-calculus - Milner, Robin 1934-2010 (Cambridge Univ. Press, 2004)
Keywords: Datenverarbeitung; Mathematisches Modell; Computer networks -- Mathematical models; Digital communications -- Mathematical models; Electronic data processing -- Mathematical models; Pi-Kalkül; Mobilität; Kommunikation; Softwareentwicklung