Skip to main content

Reactive bisimulation semantics for a process algebra with time-outs

Authors

Rob van Glabbeek

DATA61

UNSW Sydney

Abstract

This paper introduces the counterpart of strong bisimilarity for labelled transition systems extended with time-out transitions. It supports this concept through a modal characterisation, congruence results for a standard process algebra with recursion, and a complete axiomatisation.

BibTeX Entry

  @techreport{vanGlabbeek_20:tr,
    author           = {van Glabbeek, Rob},
    month            = aug,
    date             = {2020-8-26},
    year             = {2020},
    keywords         = {Concurrency; process algebra; time-outs; {CCSP}; labelled transition systems; reactive bisimulation
                        semantics; modal characterisations; congruence; recursion; complete axiomatisations.},
    title            = {Reactive Bisimulation Semantics for a Process Algebra with Time-Outs},
    institution      = {Data61, CSIRO},
    numpages         = {40},
    paperurl         = {https://ts.data61.csiro.au/publications/csiro_full_text//vanGlabbeek_20:tr.pdf},
    publisher        = {CSIRO}
  }

Download

Served by Apache on Linux on seL4.