Additive Models Of Probabilistic Processes

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Ying, M
dc.date.accessioned 2010-05-28T09:46:26Z
dc.date.issued 2002-01
dc.identifier.citation Theoretical Computer Science, 2002, 275 (1-Feb), pp. 481 - 519
dc.identifier.issn 0304-3975
dc.identifier.other C1UNSUBMIT 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
dc.publisher Elsevier Science Bv
dc.relation.isbasedon 10.1016/S0304-3975(01)00294-8
dc.title Additive Models Of Probabilistic Processes
dc.type Journal Article
dc.parent Theoretical Computer Science
dc.journal.volume 1-Feb
dc.journal.volume 275
dc.journal.number 1-Feb en_US
dc.publocation Amsterdam en_US
dc.publocation New York, USA
dc.identifier.startpage 481 en_US
dc.identifier.endpage 519 en_US
dc.cauo.name FEIT.School of Systems, Management and Leadership en_US
dc.conference Verified OK en_US
dc.for 080199 Artificial Intelligence and Image Processing Not Elsewhere Classified
dc.for 080203 Computational Logic and Formal Languages
dc.for 020603 Quantum Information, Computation and Communication
dc.personcode 103396
dc.percentage 50 en_US
dc.classification.name Computational Logic and Formal Languages en_US
dc.classification.type FOR-08 en_US
dc.edition en_US
dc.edition 1st
dc.custom en_US
dc.date.activity en_US
dc.location.activity en_US
dc.description.keywords Probabilistic Process; Transitional Semantics; Strong Bisimulation; Bisimulation; Observation Congruence en_US
dc.description.keywords Probabilistic Process
dc.description.keywords Transitional Semantics
dc.description.keywords Strong Bisimulation
dc.description.keywords Bisimulation
dc.description.keywords Observation Congruence
pubs.embargo.period Not known
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 - Quantum Computation and Intelligent Systems
utslib.copyright.status Closed Access
utslib.copyright.date 2015-04-15 12:17:09.805752+10
utslib.collection.history Closed (ID: 3)
utslib.collection.history Uncategorised (ID: 363)


Files in this item

This item appears in the following Collection(s)

Show simple item record