The following pages link to (Q4038690):
Displaying 24 items.
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- Computational interpretations of linear logic (Q685430) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- The chemical abstract machine (Q1190491) (← links)
- A calculus of mobile processes. I (Q1198548) (← links)
- Reaction graph (Q1273068) (← links)
- Process calculus based upon evaluation to committed form (Q1276241) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- Label-selective \(\lambda\)-calculus syntax and confluence (Q1350342) (← links)
- On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus (Q1763728) (← links)
- Asynchronous communication model based on linear logic (Q1898813) (← links)
- Mixed sessions (Q2055956) (← links)
- Eager functions as processes (Q2123050) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- A Process-Model for Linear Programs (Q3638259) (← links)
- Functions as processes (Q4017458) (← links)
- (Q4329263) (← links)
- Mixed Sessions (Q5041119) (← links)
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus (Q5096391) (← links)
- (Q5141619) (← links)
- Barbed bisimulation (Q5204357) (← links)
- The island model as a Markov dynamic system (Q5403408) (← links)
- Process calculus based upon evaluation to committed form (Q6104363) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
