Characterisations of testing preorders for a finite probabilistic φ-calculus

Date

Authors

Deng, Yuxin

Tiu, Alwen

Publisher

Springer

Abstract

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

Keywords

Keywords: Bisimulations; Characteristic formula; Characteristic test; Modal logic; Non-probabilistic; Preorders; Probabilistic extension; Probabilistic process; Scoping; Simulation relation; Testing equivalence; Testing semantics; Biomineralization; Calculations; S Bisimulation; Modal logic; Probabilistic f-calculus; Testing semantics

URI

http://hdl.handle.net/1885/65851

Collections

ANU Research Publications

Source

Formal Aspects of Computing

Type

Journal article

DOI

10.1007/s00165-012-0238-3

Restricted until

2037-12-31

Downloads

File

Description

01_Deng_Characterisations_of_testing_2012.pdf (424.02 KB)