Pages that link to "Item:Q1959439"
From MaRDI portal
The following pages link to Towards a unified approach to encodability and separation results for process calculi (Q1959439):
Displaying 47 items.
- Reactive Turing machines (Q393091) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- On primitives for compensation handling as adaptable processes (Q2043807) (← links)
- Mixed sessions (Q2055956) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- On distributability (Q2123059) (← links)
- Encodability criteria for quantum based systems (Q2165221) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
- A calculus of concurrent graph-rewriting processes (Q2291821) (← links)
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)
- On constructibility and unconstructibility of LTS operators from other LTS operators (Q2340256) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- Expressiveness modulo bisimilarity of regular expressions with parallel composition (Q2971071) (← links)
- Breaking symmetries (Q2971075) (← links)
- Synchrony versus causality in distributed systems (Q2971080) (← links)
- On the Expressiveness of Symmetric Communication (Q3179397) (← links)
- (Q3384918) (← links)
- (Q3385647) (← links)
- (Q3385654) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)
- (Q4989406) (← links)
- (Q5009447) (← links)
- (Q5013868) (← links)
- (Q5013869) (← links)
- (Q5013871) (← links)
- (Q5013872) (← links)
- (Q5013873) (← links)
- (Q5015356) (← links)
- (Q5020947) (← links)
- Mixed Sessions (Q5041119) (← links)
- (Q5119395) (← links)
- (Q5141619) (← links)
- Observing Success in the Pi-Calculus (Q5240185) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
- (Q5856418) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- The reflective higher-order calculus: encodability, typability and separation (Q6124241) (← links)
