3 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Adrien Piérard, Eijiro Sumii
While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we propose a bisimulation…