Failure Trace Semantics for a Process Algebra with Time-outs release_4aop22wgvzfz5efjlakzjdg6xu

by Rob van Glabbeek

Released as a article .

2021  

Abstract

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.
In text/plain format

Archived Content

There are no accessible files associated with this release. You could check other releases for this work for an accessible version.

"Dark" Preservation Only
Save Paper Now!

Know of a fulltext copy of on the public web? Submit a URL and we will archive it

Type  article
Stage   submitted
Date   2021-04-08
Version   v3
Language   en ?
arXiv  2002.10814v3
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 51332714-ac42-4c22-9969-447580f3444a
API URL: JSON