A criterion for separating process calculi

MaRDI QIDQ4963996zbMATH OpenFDO

Authors Federico Banti, Francesco Tiezzi, Rosario Pugliese

Publication date 24 February 2021

Full work available at URL https://arxiv.org/abs/1011.6430, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS10.2

Mathematics Subject Classification ID

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

Recommendations

• Replacement freeness: a criterion for separating process calculi
• Towards a unified approach to encodability and separation results for process calculi
• Analysing and comparing encodability criteria
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• On the validity of encodings of the synchronous in the asynchronous -calculus

Cited in

(6)

• Towards a unified approach to encodability and separation results for process calculi
• Replacement freeness: a criterion for separating process calculi
• Comparing process calculi using encodings
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• Process Calculi à la Bird-Meertens
• Analysing and comparing encodability criteria

This page was built for publication: A criterion for separating process calculi

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