Matching in the pi-calculus

MaRDI QIDQ4995152zbMATH OpenFDO

Authors Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann

Publication date 23 June 2021

Full work available at URL https://arxiv.org/abs/1408.1454, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2014.3

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Matching systems for concurrent calculi
• scientific article; zbMATH DE number 2059568
• On the expressiveness of the -calculus and the mobile ambients
• Some congruence properties for \(\pi\)-calculus bisimilarities
• Remark on some \(\pi\) variants

Cited in

(6)

• Replacement freeness: a criterion for separating process calculi
• Matching systems for concurrent calculi
• Remark on some \(\pi\) variants
• Observing success in the pi-calculus
• scientific article; zbMATH DE number 6452608 (Why is no real title available?)
• Comparing the expressiveness of the \(\pi \)-calculus and CCS

This page was built for publication: Matching in the pi-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4995152)