Pages that link to "Item:Q6044118"
From MaRDI portal
The following pages link to Implicit typing à la ML for the join-calculus (Q6044118):
Displaying 7 items.
- A Church-style intermediate language for ML\(^{\text F}\) (Q428892) (← links)
- A concurrent lambda calculus with futures (Q860851) (← links)
- Inheritance in the join calculus. (Q1426056) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- Static analysis for the \(\pi\)-calculus with applications to security (Q1854437) (← links)
- Resource access control in systems of mobile agents (Q1854507) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)