Topology, randomness and noise in process calculus

Ying, M

Topology, randomness and noise in process calculus

Ying, M

Permalink

Publication Type:: Journal Article
Citation:: Frontiers of Electrical and Electronic Engineering in China, 2007, 2 (2), pp. 127 - 131
Issue Date:: 2007-04-01

Open Access

Copyright Clearance Process

Recently Added
In Progress
Open Access

This item is open access.

Adobe PDF

Download full textAdobe PDF (173.84 kB)

View on publisher's site

View statistics

Full metadata record

Field	Value	Language
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X	en_US
dc.date.issued	2007-04-01	en_US
dc.identifier.citation	Frontiers of Electrical and Electronic Engineering in China, 2007, 2 (2), pp. 127 - 131	en_US
dc.identifier.issn	1673-3460	en_US
dc.identifier.uri	http://hdl.handle.net/10453/9278
dc.description.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. © Higher Education Press 2007.	en_US
dc.relation.ispartof	Frontiers of Electrical and Electronic Engineering in China	en_US
dc.relation.isbasedon	10.1007/s11460-007-0024-9	en_US
dc.subject.classification	Networking & Telecommunications	en_US
dc.title	Topology, randomness and noise in process calculus	en_US
dc.type	Journal Article
utslib.citation.volume	2	en_US
utslib.for	0906 Electrical and Electronic Engineering	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
utslib.copyright.status	open_access
pubs.issue	2	en_US
pubs.publication-status	Published	en_US
pubs.volume	2	en_US

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. © Higher Education Press 2007.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/9278