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
Secondary volumes: Special Issue dedicated to Jos Baeten on the occasion of his retirement
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 2724 times.
This article's PDF has been downloaded 757 times.