On Distributability in Process Calculi
Abstract elided by the publisher.
Related papers
- A Distributed Abstract Machine for Boxed Ambient Calculi ESOP 2004
- Formalising Java RMI with explicit code mobility OOPSLA 2005
- A Uniform Reduction Equivalence for Process Calculi APLAS 2004
- From Typed Process Calculi to Source-Based Security SAS 2005
- Relax! The Semilenient Core of Choreographic Programming (Functional Pearl) ICFP 2025
- Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close ESOP 2005
- Oz/K: a kernel language for component-based open programming GPCE 2007
- Communicating Reactive Processes POPL 1993