Skip navigation
Skip navigation

Characterisations of testing preorders for a finite probabilistic φ-calculus

Deng, Yuxin; Tiu, Alwen

Description

We consider two characterisations of the may and must testing preorders for a probabilistic extension of the finite η-calculus: one based on notions of probabilistic weak simulations, and the other on a probabilistic extension of a fragment of Milner-Par

CollectionsANU Research Publications
Date published: 2012
Type: Journal article
URI: http://hdl.handle.net/1885/65851
Source: Formal Aspects of Computing
DOI: 10.1007/s00165-012-0238-3

Download

File Description SizeFormat Image
01_Deng_Characterisations_of_testing_2012.pdf424.02 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator