Gabriele Cecilia
Gabriele Cecilia
Affiliation: Augusta University
Pages in this Program
Barbed Similarity for the π-Calculus in Beluga: A Case Study in Coinductive Reasoning
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑