Embedding as a tool for language comparison
From MaRDI portal
Publication:1314270
DOI10.1006/inco.1994.1004zbMath0788.68014MaRDI QIDQ1314270
Catuscia Palamidessi, Frank S. de Boer
Publication date: 10 March 1994
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://ir.cwi.nl/pub/5596
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68N15: Theory of programming languages
Related Items
Relative expressiveness of defeasible logics, Full abstraction for expressiveness: history, myths and facts, Linear constraint systems as high-level nets, The expressive power of CHR with priorities, Comparing communication primitives via their relative expressive power, A timed concurrent constraint language., Ordered SOS process languages for branching and eager bisimulations, Towards a unified approach to encodability and separation results for process calculi, On the expressiveness of multiplicities in data-based coordination languages, Stochastic biological modelling in the presence of multiple compartments, Comparative analysis of the expressiveness of shared dataspace coordination, On the Expressive Power of Polyadic Synchronisation in π-calculus, Coordination Models Orc and Reo Compared, On the Expressiveness of Symmetric Communication, Towards a Unified Approach to Encodability and Separation Results for Process Calculi, Expressiveness of Multiple Heads in CHR