Embedding as a tool for language comparison
From MaRDI portal
Publication:1314270
DOI10.1006/inco.1994.1004zbMath0788.68014OpenAlexW2055894337MaRDI 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
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15)
Related Items
On the Expressiveness of Symmetric Communication ⋮ The expressive power of CHR with priorities ⋮ Linear constraint systems as high-level nets ⋮ On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues ⋮ Towards a unified approach to encodability and separation results for process calculi ⋮ Towards a Unified Approach to Encodability and Separation Results for Process Calculi ⋮ On the expressiveness of multiplicities in data-based coordination languages ⋮ Relative expressiveness of defeasible logics ⋮ Full abstraction for expressiveness: history, myths and facts ⋮ Stochastic biological modelling in the presence of multiple compartments ⋮ Expressiveness of Multiple Heads in CHR ⋮ Comparing communication primitives via their relative expressive power ⋮ Comparative analysis of the expressiveness of shared dataspace coordination ⋮ On the Expressive Power of Polyadic Synchronisation in π-calculus ⋮ A timed concurrent constraint language. ⋮ Ordered SOS process languages for branching and eager bisimulations ⋮ Coordination Models Orc and Reo Compared
This page was built for publication: Embedding as a tool for language comparison
