JavaScript is disabled for your browser. Some features of this site may not work without it.
- UTSePress Research Home
- >
- 08 Information and Computing Sciences
- >
- Journal Articles
- >
- Closed
- >
- View Item
| dc.contributor.author | Ying Mingsheng | en_US |
| dc.contributor.editor | en_US | |
| dc.date.accessioned | 2010-05-28T09:46:26Z | |
| dc.date.available | 2010-05-28T09:46:26Z | |
| dc.date.issued | 2002 | en_US |
| dc.identifier | 2008004751 | en_US |
| dc.identifier.citation | Ying Mingsheng 2002, 'Additive Models Of Probabilistic Processes', Elsevier Science Bv, vol. 275, no. 1-Feb, pp. 481-519. | en_US |
| dc.identifier.issn | 0304-3975 | en_US |
| dc.identifier.other | C1 | 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 | en_US |
| dc.language | en_US | |
| dc.publisher | Elsevier Science Bv | en_US |
| dc.relation.isbasedon | NA | en_US |
| dc.title | Additive Models Of Probabilistic Processes | en_US |
| dc.parent | Theoretical Computer Science | en_US |
| dc.journal.volume | 275 | en_US |
| dc.journal.number | 1-Feb | en_US |
| dc.publocation | Amsterdam | en_US |
| 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 | 080203 | en_US |
| dc.personcode | 103396 | en_US |
| dc.percentage | 000050 | en_US |
| dc.classification.name | Computational Logic and Formal Languages | en_US |
| dc.classification.type | FOR-08 | en_US |
| dc.edition | en_US | |
| 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.staffid | Tsinghua University | en_US |
