Musings on encodings and expressiveness

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

• A theory of encodings and expressiveness (extended abstract)
• scientific article
• Towards a unified approach to encodability and separation results for process calculi
• Analysing and comparing encodability criteria
• On the expressive power of programming languages

Mathematics Subject Classification ID

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

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)