Pages that link to "Item:Q2272988"
From MaRDI portal
The following pages link to On the relative expressiveness of higher-order session processes (Q2272988):
Displaying 10 items.
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- Mixed sessions (Q2055956) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (Q3587459) (← links)
- (Q5028420) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- Minimal session types for the \(\pi\)-calculus (Q6124244) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
- Executable Semantics and Type Checking for Session-Based Concurrency in Maude (Q6487298) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)