Skip navigation
Skip navigation

Characterisations of testing preorders for a finite probabilistic φ-calculus

Deng, Yuxin; Tiu, Alwen


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
Source: Formal Aspects of Computing
DOI: 10.1007/s00165-012-0238-3


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:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator