Pages that link to "Item:Q5326293"
From MaRDI portal
The following pages link to On Distributability in Process Calculi (Q5326293):
Displaying 19 items.
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- On distributability (Q2123059) (← links)
- Encodability criteria for quantum based systems (Q2165221) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- (Q3384918) (← links)
- (Q3385647) (← links)
- (Q5013871) (← links)
- (Q5013872) (← links)
- (Q5141619) (← links)
- Programming Languages and Systems (Q5464037) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
- Mixed choice in session types (Q6543263) (← links)
- Encodability criteria for quantum based systems (Q6563052) (← links)