Pages that link to "Item:Q2491638"

The following pages link to On the expressive power of \textsc{Klaim}-based calculi (Q2491638):

Displaying 10 items.

• A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
• Comparing communication primitives via their relative expressive power (Q1004386) (← links)
• Expressiveness of concurrent intensionality (Q2193283) (← links)
• A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
• Basic observables for a calculus for global computing (Q2384924) (← links)
• Observational and behavioural equivalences for soft concurrent constraint programming (Q2403819) (← links)
• Separation of synchronous and asynchronous communication via testing (Q2465029) (← links)
• On the Relative Expressive Power of Calculi for Mobility (Q2805161) (← links)
• Synchrony vs Asynchrony in Communication Primitives (Q2866346) (← links)
• Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)