Pi-Calculus With Noisy Channels

Publication Type:
Journal Article
Acta Informatica, 2005, 41 (9), pp. 525 - 593
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2008004823.pdf519.35 kB
Adobe PDF
It is assumed in the pi-calculus that communication channels are always noiseless. But it is usually not the case in the mobile systems that developers are faced with in the real life. In this paper, we introduce an extension of pi, called pi(N), in whic
Please use this identifier to cite or link to this item: