Pages that link to "Item:Q2842599"
From MaRDI portal
The following pages link to On the expressive power of polyadic synchronisation in \(\pi \)-calculus (Q2842599):
Displaying 6 items.
- Encoding cryptographic primitives in a calculus with polyadic synchronisation (Q540687) (← links)
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- On Mobility and Communication (Q2994477) (← links)
- (Q3385647) (← links)
- On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (Q3587459) (← links)
- (Q5020947) (← links)