From 14:00 to 15:30 on Thursday, December 11, the correspondance between internal mobility and agent-passing calculi will be discussed in the PLSL reading group. The material to be read before the meeting is sections 6-9 of Davide Sangiorgi, "π-Calculus, internal mobility, and agent-passing calculi", Theoretical Computer Science, Volume 167, Issues 1–2, 1996, Pages 235-274.

https://plsl.acp.sdu.dk/posts/2025-12-15-pi-calculus-internal-mobility-and-agent-passing-calculi-part-2/

#PLSL #programmingLanguages #semantics #concurrency #functionalProgramming