Pages that link to "Item:Q1391099"
From MaRDI portal
The following pages link to On the decidability of process equivalences for the \(\pi\)-calculus (Q1391099):
Displaying 6 items.
- Bisimilar and logically equivalent programs in PDL (Q281144) (← links)
- A process calculus for mobile ad hoc networks (Q967528) (← links)
- Symbolic transition graph and its early bisimulation checking algorithms for the \(\pi\)-calculus (Q1962485) (← links)
- On process rate semantics (Q2474433) (← links)
- (Q2842870) (← links)
- Decidable Fragments of a Higher Order Calculus with Locations (Q5170669) (← links)
