Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.372-387, ⟨10.1007/978-3-642-33475-7_26⟩
Conference papers
hal-01556215v1
|