Characterisations of testing preorders for a finite probabilistic φ-calculus
Date
2012
Authors
Deng, Yuxin
Tiu, Alwen
Journal Title
Journal ISSN
Volume Title
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
Description
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
Citation
Collections
Source
Formal Aspects of Computing
Type
Journal article
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description