Additive models of probabilistic processes

Ying, M

Additive models of probabilistic processes

Ying, M

Permalink

Publication Type:: Journal Article
Citation:: Theoretical Computer Science, 2002, 275 (1-2), pp. 481 - 519
Issue Date:: 2002-03-28

Closed Access

	Filename	Description	Size
	2008004751OK.pdf		252.49 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X	en_US
dc.date.issued	2002-03-28	en_US
dc.identifier.citation	Theoretical Computer Science, 2002, 275 (1-2), pp. 481 - 519	en_US
dc.identifier.issn	0304-3975	en_US
dc.identifier.uri	http://hdl.handle.net/10453/8931
dc.description.abstract	We propose a new model of probabilistic processes. In this model, a probability is assigned to the action of a prefix and a probability distribution is assigned to the components of a parallel composition. In addition, the probability of a transition of a probabilistic summation is evaluated as the sum of the probabilities of the same transition of summands multiplied by the probabilities associated to them in the summation. The concepts of strong bisimulation degree and (weak) bisimulation degree are introduced. These notions provide us with continuous spectra of strong bisimilarities, (weak) bisimilarities and observation congruences which equate probabilistic processes with different degrees of belief. Various equational laws of probabilistic processes with respect to these equivalence relations are presented and substitutivities of these equivalence relations under various combinators are established. © 2002 Elsevier Science B.V. All rights reserved.	en_US
dc.relation.ispartof	Theoretical Computer Science	en_US
dc.relation.isbasedon	10.1016/S0304-3975(01)00294-8	en_US
dc.subject.classification	Computation Theory & Mathematics	en_US
dc.title	Additive models of probabilistic processes	en_US
dc.type	Journal Article
utslib.citation.volume	1-2	en_US
utslib.citation.volume	275	en_US
utslib.for	080199 Artificial Intelligence and Image Processing not elsewhere classified	en_US
utslib.for	080203 Computational Logic and Formal Languages	en_US
utslib.for	020603 Quantum Information, Computation and Communication	en_US
utslib.for	01 Mathematical Sciences	en_US
utslib.for	08 Information and Computing Sciences	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	closed_access
pubs.issue	1-2	en_US
pubs.publication-status	Published	en_US
pubs.volume	275	en_US

Abstract:

We propose a new model of probabilistic processes. In this model, a probability is assigned to the action of a prefix and a probability distribution is assigned to the components of a parallel composition. In addition, the probability of a transition of a probabilistic summation is evaluated as the sum of the probabilities of the same transition of summands multiplied by the probabilities associated to them in the summation. The concepts of strong bisimulation degree and (weak) bisimulation degree are introduced. These notions provide us with continuous spectra of strong bisimilarities, (weak) bisimilarities and observation congruences which equate probabilistic processes with different degrees of belief. Various equational laws of probabilistic processes with respect to these equivalence relations are presented and substitutivities of these equivalence relations under various combinators are established. © 2002 Elsevier Science B.V. All rights reserved.

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

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