Rob van Glabbeek - Failure Trace Semantics for a Process Algebra with Time-outs

lmcs:6157 - Logical Methods in Computer Science, April 23, 2021, Volume 17, Issue 2 - https://doi.org/10.23638/LMCS-17(2:11)2021
Failure Trace Semantics for a Process Algebra with Time-outsArticle

Authors: Rob van Glabbeek

    This paper extends a standard process algebra with a time-out operator, thereby increasing its absolute expressiveness, while remaining within the realm of untimed process algebra, in the sense that the progress of time is not quantified. Trace and failures equivalence fail to be congruences for this operator; their congruence closure is characterised as failure trace equivalence.


    Volume: Volume 17, Issue 2
    Published on: April 23, 2021
    Accepted on: April 9, 2021
    Submitted on: February 26, 2020
    Keywords: Computer Science - Logic in Computer Science,F.1.2,F.3.2

    1 Document citing this article

    Consultation statistics

    This page has been seen 1769 times.
    This article's PDF has been downloaded 290 times.