Pages that link to "Item:Q1917090"
From MaRDI portal
The following pages link to A symbolic semantics for the \(\pi\)-calculus (Q1917090):
Displaying 27 items.
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- A multiset semantics for the pi-calculus with replication (Q672867) (← links)
- Symbolic bisimulations (Q674194) (← links)
- Quantifying information leakage in process calculi (Q1023286) (← links)
- A \(\pi\)-calculus with explicit substitutions (Q1350998) (← links)
- Symmetric \(\pi\)-calculus (Q1389093) (← 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)
- Symbolic transition graph and its early bisimulation checking algorithms for the \(\pi\)-calculus (Q1962485) (← 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)
- Genericity and the \(\pi\)-calculus (Q2576663) (← links)
- On the representation of McCarthy's amb in the \(\pi\)-calculus (Q2847406) (← links)
- (Q3783282) (← links)
- (Q4133596) (← links)
- (Q4365103) (← links)
- (Q4417854) (← links)
- (Q5089301) (← links)
- A Proof Theoretic Approach to Operational Semantics (Q5262970) (← links)
- Open Bisimulation for the Concurrent Constraint Pi-Calculus (Q5458401) (← links)
- Symbolic Bisimulation for the Applied Pi Calculus (Q5458829) (← links)
- Automata, Languages and Programming (Q5716865) (← links)
