Pages that link to "Item:Q1129260"
From MaRDI portal
The following pages link to Some congruence properties for \(\pi\)-calculus bisimilarities (Q1129260):
Displaying 13 items.
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- Probabilistic and nondeterministic aspects of anonymity (Q843094) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- On bisimulations for the asynchronous \(\pi\)-calculus (Q1276246) (← links)
- Language-based performance prediction for distributed and mobile systems (Q1854534) (← links)
- Tau laws for pi calculus (Q1884877) (← links)
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Trees from Functions as Processes (Q4585071) (← links)
- Concurrency cannot be observed, asynchronously (Q5740646) (← links)
