Show simple item record

dc.contributor.authorHENNESSY, MATTHEW
dc.date.accessioned2011-05-03T16:36:03Z
dc.date.available2011-05-03T16:36:03Z
dc.date.issued2007
dc.date.submitted2007en
dc.identifier.citationDeng, Y., van Glabbeek, R., Hennessy, M., Morgan, C., Zhang, C., Remarks on Testing Probabilistic Processes , Electronic Notes in Theoretical Computer Science, 172, 2007, 359-397en
dc.identifier.otherY
dc.identifier.urihttp://hdl.handle.net/2262/55299
dc.descriptionPUBLISHEDen
dc.description.abstractWe develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a simple probabilistic version of the process calculus CSP. We examine the algebraic theory of probabilistic testing, and show that many of the axioms of standard testing are no longer valid in our probabilistic setting; even for non-probabilistic CSP processes, the distinguishing power of probabilistic tests is much greater than that of standard tests. We develop a method for deriving inequations valid in probabilistic may testing based on a probabilistic extension of the notion of simulation. Using this, we obtain a complete axiomatisation for non-probabilistic processes subject to probabilistic may testing.en
dc.description.sponsorshipAustralian Research Council (ARC) Grant DP034557. Royal Society/Leverhulme Trust Senior Research Fellowship.en
dc.format.extent359-397en
dc.language.isoenen
dc.publisherIEEEen
dc.relation.ispartofseriesElectronic Notes in Theoretical Computer Science;
dc.relation.ispartofseries172;
dc.rightsYen
dc.subjectStatistics and probabilityen
dc.subjectnondeterminismen
dc.subjecttransition systemsen
dc.subjecttesting equivalencesen
dc.titleRemarks on Testing Probabilistic Processesen
dc.typeJournal Articleen
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/mcbhenne
dc.identifier.rssinternalid50341
dc.identifier.rssurihttp://dx.doi.org/10.1016/j.entcs.2007.02.013en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record