Pages that link to "Item:Q5055881"
From MaRDI portal
The following pages link to From a concurrent λ-calculus to the π-calculus (Q5055881):
Displaying 10 items.
- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++ (Q1015388) (← links)
- The \(\pi\)-calculus in direct style (Q1290334) (← links)
- On modelling mobility (Q1575151) (← links)
- Decoding choice encodings (Q1854385) (← links)
- (Q2723440) (← links)
- (Q2778815) (← links)
- A well-behaved LTS for the pi-calculus (abstract) (Q2871826) (← links)
- Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)
- From a concurrent λ-calculus to the π-calculus (Q5055881) (← links)
- Foundations of Software Science and Computation Structures (Q5899101) (← links)