Pages that link to "Item:Q5758049"

The following pages link to Semantic Barbs and Biorthogonality (Q5758049):

Displaying 10 items.

• A timed calculus for wireless systems (Q650891) (← links)
• A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
• Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
• Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
• On the Relative Expressive Power of Calculi for Mobility (Q2805161) (← links)
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
• Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
• On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS (Q5170663) (← links)
• Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)
• Concurrency cannot be observed, asynchronously (Q5740646) (← links)