A theory of encodings and expressiveness (extended abstract)

DOI10.1007/978-3-319-89366-2_10zbMath1504.68125arXiv1805.10415OpenAlexW2797606459MaRDI QIDQ1652980

Robert J. van Glabbeek

Publication date: 17 July 2018

Full work available at URL: https://arxiv.org/abs/1805.10415

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Unnamed Item ⋮ The reflective higher-order calculus: encodability, typability and separation ⋮ Comparing the expressiveness of the \(\pi \)-calculus and CCS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the interactive power of higher-order processes extended with parameterization ⋮ A thesis for interaction

This page was built for publication: A theory of encodings and expressiveness (extended abstract)