Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
2 results
|
|
sorted by
|
|
Forensic Leak Detection for Business Process Models7th Digital Forensics (DF), Jan 2011, Orlando, FL, United States. pp.101-113, ⟨10.1007/978-3-642-24212-0_8⟩
Conference papers
hal-01569546v1
|
||
|
Relating Functional and Imperative Session Types23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.61-79, ⟨10.1007/978-3-030-78142-2_4⟩
Conference papers
hal-03387840v1
|