Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Image document

Forensic Leak Detection for Business Process Models

Rafael Accorsi , Claus Wonnemann
7th Digital Forensics (DF), Jan 2011, Orlando, FL, United States. pp.101-113, ⟨10.1007/978-3-642-24212-0_8⟩
Conference papers hal-01569546v1
Image document

Relating Functional and Imperative Session Types

Hannes Saffrich , Peter Thiemann
23th 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