BibTeX
CSL-JSON
MLA
Harvard
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
arXiv
2002.10814v3
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links