Barbed Similarity for the $π$-Calculus in Beluga: A Case Study in Coinductive Reasoning | Digital Library | PAMCET

Barbed Similarity for the $π$-Calculus in Beluga: A Case Study in Coinductive Reasoning | Digital Library | PAMCET | PAMCET