Read Operators and their Expressiveness in Process Algebras

by Walter Vogler, Maria Rita Di Berardini, Flavio Corradini
Published 2011-08-01

Automated Analysis of MUTEX Algorithms with FASE

by Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Published 2011-06-01