Pages that link to "Item:Q1917090"
From MaRDI portal
The following pages link to A symbolic semantics for the \(\pi\)-calculus (Q1917090):
Displayed 13 items.
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Quantifying information leakage in process calculi (Q1023286) (← links)
- Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus. (Q1400579) (← links)
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- A complete symbolic bisimulation for full applied pi calculus (Q1758155) (← links)
- Tau laws for pi calculus (Q1884877) (← links)
- Computing bisimulations for finite-control \(\pi\)-calculus (Q1966507) (← links)
- Inference systems for observation equivalences in the \(\pi\)-calculus (Q1974214) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Open bisimulation, revisited (Q2465030) (← links)
- Open Bisimulation for the Concurrent Constraint Pi-Calculus (Q5458401) (← links)
- Symbolic Bisimulation for the Applied Pi Calculus (Q5458829) (← links)