Musings on encodings and expressiveness
From MaRDI portal
Publication:4986261
zbMATH Open1459.68149arXiv1208.2750MaRDI QIDQ4986261FDOQ4986261
Authors: Rob van Glabbeek
Publication date: 27 April 2021
Full work available at URL: https://arxiv.org/abs/1208.2750
Recommendations
Cited In (17)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Translation of CCS into CSP, correct up to strong bisimulation
- Comparing the expressiveness of the \(\pi \)-calculus and CCS
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus
- Coupled similarity: the first 32 years
- Replacement freeness: a criterion for separating process calculi
- Expressiveness of concurrent intensionality
- On the relative expressiveness of higher-order session processes
- On constructibility and unconstructibility of LTS operators from other LTS operators
- Ensuring liveness properties of distributed systems: open problems
- Mixed choice in session types
- Theory of interaction
This page was built for publication: Musings on encodings and expressiveness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4986261)