Weak Semantics Based on Lighted Button Pressing Experiments. An Alternative Characterization of the Readiness Semantics
DOI:
https://doi.org/10.7146/brics.v3i43.20025Abstract
Imposing certain restrictions on the transition system that defines the behaviour of a process allows us to characterize the readiness semantics of [OH86] by means of black-box testing experiments, or more precisely by lighted button testing experiments [BM92]. As divergence is considered we give the semantics as a preorder, the readiness preorder, which kernel coincides with the readiness equivalence of [OH86]. This leads to a bisimulation like characterization and a modal characterization of the semantics. A concrete language, recursive free CCS without tau, is introduced, a proof system defined and it is shown to be sound and complete with respect to the readiness preorder. In the completeness proof the modal characterization plays an important role as it allows us to prove algebraicity of the preorder purely operationally.Downloads
Published
1996-06-13
How to Cite
Ingólfsdóttir, A. (1996). Weak Semantics Based on Lighted Button Pressing Experiments. An Alternative Characterization of the Readiness Semantics. BRICS Report Series, 3(43). https://doi.org/10.7146/brics.v3i43.20025
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.