Key phrases/words to look up are "Calculus of Communicating Systems", "π-calculus", and "bigraphs", "the space and motion of communicating agents" CCS: https:/

Key phrases/words to look up are "Calculus of Communicating Systems", "π-calculus", and "bigraphs", "the space and motion of communicating agents" CCS: https://en.wikipedia.org/wiki/Calculus_of_communicating_systems https://en.wikipedia.org/wiki/Calculus_of_communicating_syst... π-calculus: https://en.wikipedia.org/wiki/%CE%A0-calculus https://en.wikipedia.org/wiki/%CE%A0-calculus Bigraphs, "space and motion": https://www.cl.cam.ac.uk/archive/rm135/Bigraphs-draft.pdf https://www.cl.cam.ac.uk/archive/rm135/Bigraphs-draft.pdf Bigraphs, "space and motion": https://www.cl.cam.ac.uk/archive/rm135/uam-theme.html https://www.cl.cam.ac.uk/archive/rm135/uam-theme.html