1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Martin Lange, Etienne Lozes, Manuel Vargas Guzmán
Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic…