Filter your results
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.193-208, ⟨10.1007/978-3-642-33475-7_14⟩
Conference papers
hal-01556226v1
|
||
|
|
On the Realizability of Contracts in Dishonest Systems14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.245-260, ⟨10.1007/978-3-642-30829-1_17⟩
Conference papers
hal-01529594v1
|