Sound Bisimulations for Higher-Order Distributed Process Calculus

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…