Liveness of a mutex algorithm in a fair process algebra

Author: Corradini Flavio  

Publisher: Springer Publishing Company

ISSN: 0001-5903

Source: Acta Informatica, Vol.46, Iss.3, 2009-05, pp. : 209-235

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract