Communicating and Mobile Systems: the pi-calculus

...
Author:  Robin Milner

30 downloads 418 Views 3MB Size Report

Recommend Documents

Электронная библиотека “Либрус” ( http://librus.ru ) Научно-техническая библиотека электронных книг. Первоначально задум...

MOBILE COMMUNICATION SYSTEMS AND SECURITY Man Young Rhee Endowed Chair Professor Kyung Hee University, Republic of Korea...

Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 92 IIII Robin Milner A Calculus of Communicating...

MOBILE INFORMATION SYSTEMS IFIP – The International Federation for Information Processing IFIP was founded in 1960 un...