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-outs

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


Share

Consultation statistics

This page has been seen 126 times.
This article's PDF has been downloaded 54 times.