Topology, randomness and noise in process calculus

Publisher:
Higher Education Press, co-published with Springer-Verlag GmbH
Publication Type:
Journal Article
Citation:
Frontiers of Electrical and Electronic Engineering in China, 2007, 2 (2), pp. 127 - 131
Issue Date:
2007-01
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2009005157.pdf173.84 kB
Adobe PDF
Formal models of communicating and concurrent systems are one of the most important topics in formal methods, and process calculus is one of the most successful formal models of communicating and concurrent systems. In the previous works, the author systematically studied topology in process calculus, probabilistic process calculus and pi-calculus with noisy channels in order to describe approximate behaviors of communicating and concurrent systems as well as randomness and noise in them. This article is a brief survey of these works.
Please use this identifier to cite or link to this item: