We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Liveness of a mutex algorithm in a fair process algebra.
- Authors
Corradini, Flavio; Berardini, Maria; Vogler, Walter
- Abstract
In earlier work, we have shown that two variants of weak fairness can be expressed comparatively easily in the timed process algebra PAFAS. To demonstrate the usefulness of these results, we complement work by Walker (Form Asp Comput 1:273–292, 1989) and study the liveness property of Dekker’s mutual exclusion algorithm within our process algebraic setting. We also present some results that allow to reduce the state space of the PAFAS process representing Dekker’s algorithm, and give some insight into the representation of fair behaviour in PAFAS.
- Subjects
ALGORITHMS; ALGEBRA; MATHEMATICAL analysis; SEMANTICS; MATHEMATICAL models; ALGEBRAIC functions; MATHEMATICAL linguistics
- Publication
Acta Informatica, 2009, Vol 46, Issue 3, p209
- ISSN
0001-5903
- Publication type
Article
- DOI
10.1007/s00236-009-0092-9