Gadducci F

Latest

• Some characterization results for permutation algebras
• Modal μ-types for processes