Weak semantics based on lighted button pressing experiments

An alternative characterization of the readiness semantics
  • Anna Ingólfsdóttir
Conference paper

DOI: 10.1007/3-540-63172-0_42

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1258)
Cite this paper as:
Ingólfsdóttir A. (1997) Weak semantics based on lighted button pressing experiments. In: van Dalen D., Bezem M. (eds) Computer Science Logic. CSL 1996. Lecture Notes in Computer Science, vol 1258. Springer, Berlin, Heidelberg

Abstract

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 τ, 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. Foundation.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • Anna Ingólfsdóttir
    • 1
  1. 1.Basic Research in Computer Science, Centre of the Danish National Research, Department of Computer ScienceAalborg UniversityDenmark

Personalised recommendations