976 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR49 papers
- Technical University of DenmarkDK38 papers
- Aarhus UniversityDK29 papers
- University of CopenhagenDK23 papers
- Tokyo Institute of TechnologyJP19 papers
- University of ManchesterGB18 papers
- École Polytechnique Fédérale de LausanneCH17 papers
- University of OxfordGB16 papers
- Centre de Physique ThéoriqueFR14 papers
- East China Normal UniversityCN14 papers
- IMAR - Institutul de Matematică „Simion Stoilow” al Academiei RomâneRO14 papers
- Imperial College LondonGB14 papers
3 papers · 2 filters
Using Session Types for Reasoning About Boundedness in the Pi-Calculus
Hans Hüttel
The classes of depth-bounded and name-bounded processes are fragments of the pi-calculus for which some of the decision problems that are undecidable for the full calculus become d…
On-the-Fly Computation of Bisimilarity Distances
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +1
We propose a distance between continuous-time Markov chains (CTMCs) and study the problem of computing it by comparing three different algorithmic methodologies: iterative, linear…
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +1
In this paper we propose a complete axiomatization of the bisimilarity distance of Desharnais et al. for the class of finite labelled Markov chains. Our axiomatization is given in…