60 citations
- Université Paris-SaclayFR43 papers
- Centre National de la Recherche ScientifiqueFR36 papers
- CentraleSupélecFR17 papers
- Institut national de recherche en sciences et technologies du numériqueFR14 papers
- École Normale Supérieure - PSLFR11 papers
- École Normale Supérieure Paris-SaclayFR8 papers
- Laboratoire de Biologie et Pharmacologie AppliquéeFR8 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR8 papers
- Centre Inria de SaclayFR6 papers
- Institut Universitaire de FranceFR6 papers
- Université de LorraineFR6 papers
- Aix-Marseille UniversitéFR5 papers
Showing 2017Show all
2 papers · 1 filter
math.GN2017★ 7 cited
Complete Quasi-Metrics for Hyperspaces, Continuous Valuations, and Previsions
Jean Goubault-Larrecq
The Kantorovich-Rubinshtein metric is an -like metric on spaces of probability distributions that enjoys several serendipitous properties. It is complete separable if the unde…
cs.DC2017★ 17 cited
Synchronizability of Communicating Finite State Machines is not Decidable
Alain Finkel, Etienne Lozes
A system of communicating finite state machines is synchronizable if its send trace semantics, i.e.the set of sequences of sendings it can perform, is the same when its communicati…