Pages that link to "Item:Q2491638"
From MaRDI portal
The following pages link to On the expressive power of \textsc{Klaim}-based calculi (Q2491638):
Displaying 15 items.
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- On the expressive power of Kleene algebra with domain (Q903368) (← 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)
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)
- On the relative expressive power of calculi for mobility (Q2805161) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2848139) (← links)
- Synchrony vs asynchrony in communication primitives (Q2866346) (← links)
- Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)
- Coordination Models and Languages (Q5717720) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897114) (← links)
