Partial-order methods for the verification of concurrent sy

Descrição: This monograph is a revised version of the authors Ph.D. thesis, submitted to the University of Liège, Belgium, wit... Veja mais