Pages that link to "Item:Q3587460"
From MaRDI portal
The following pages link to On Bisimilarity and Substitution in Presence of Replication (Q3587460):
Displaying 4 items.
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus (Q896922) (← links)
- Some congruence properties for \(\pi\)-calculus bisimilarities (Q1129260) (← links)
- A new natural structural congruence in the pi-calculus with replication (Q1889854) (← links)
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)