Names of the \(\pi\)-calculus agents handled locally

DOI10.1016/S0304-3975(00)00093-1zbMath0956.68007MaRDI QIDQ1589648

Corrado Priami, Pierpaolo Degano, Chiara Bodei

Publication date: 12 December 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

agentsconcurrencymobilitydistributed environments

Mathematics Subject Classification ID

Distributed systems (68M14)

Related Items

Modelling biochemical pathways through enhanced \(\pi\)-calculus, A formal approach to open multiparty interactions, Hard Life with Weak Binders, Pierpaolo Degano, Primitives for authentication in process algebras.

Cites Work

• Unnamed Item
• Unnamed Item
• Modal logics for mobile processes
• Observing localities
• A fully abstract semantics for causality in the \(\pi\)-calculus
• A calculus of mobile processes. II
• An algebraic verification of a mobile network
• Plain CHOCS. A second generation calculus for higher order processes
• On modelling mobility
• Mobile ambients
• Objects in the \(\pi\)-calculus
• Causality for mobile processes
• Proved trees