Pages that link to "Item:Q1314270"

The following pages link to Embedding as a tool for language comparison (Q1314270):

Displaying 16 items.

• The expressive power of CHR with priorities (Q388222) (← links)
• Comparing communication primitives via their relative expressive power (Q1004386) (← links)
• A timed concurrent constraint language. (Q1854359) (← links)
• Ordered SOS process languages for branching and eager bisimulations (Q1854563) (← links)
• Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
• On the expressiveness of multiplicities in data-based coordination languages (Q1987734) (← links)
• Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
• Comparative analysis of the expressiveness of shared dataspace coordination (Q2841273) (← links)
• On the Expressive Power of Polyadic Synchronisation in π-calculus (Q2842599) (← links)
• Coordination Models Orc and Reo Compared (Q2866319) (← links)
• On the Expressiveness of Symmetric Communication (Q3179397) (← links)
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
• Expressiveness of Multiple Heads in CHR (Q3599074) (← links)
• Relative expressiveness of defeasible logics (Q4911149) (← links)
• Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
• On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues (Q6197379) (← links)