Locality and non-interleaving semantics in calculi for mobile processesby Davide SangiorgiCalculusPiWriting a summary for young readers…For young readersBook data: Open Library