Frontiers of Electrical and Electronic Engineering >

2007 , Vol. 2 >Issue 2: 127 - 131

DOI: https://doi.org/10.1007/s11460-007-0024-9

Topology, randomness and noise in process calculus

Expand
  • State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China;

Published date: 05 Jun 2007

Fold

Abstract

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.

Cite this article

YING Mingsheng . Topology, randomness and noise in process calculus[J]. Frontiers of Electrical and Electronic Engineering, 2007 , 2(2) : 127 -131 . DOI: 10.1007/s11460-007-0024-9

Options
Outlines

/

〈 〉