Search - IFIP Open Digital Library Access content directly

Filter your results

3 results
Author: personID (integer) : 1030366
Page :
sorted by
Image document

Exposing Latent Mutual Exclusion by Work Automata

 Kasper Dokter , Farhad Arbab
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.59-73, ⟨10.1007/978-3-319-68953-1_6⟩
Conference papers hal-01760644v1
Image document

Rule-Based Form for Stream Constraints

 Kasper Dokter , Farhad Arbab
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.142-161, ⟨10.1007/978-3-319-92408-3_6⟩
Conference papers hal-01821489v1
Image document

Protocol Scheduling

 Kasper Dokter , Farhad Arbab
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.3-17, ⟨10.1007/978-3-030-89247-0_1⟩
Conference papers hal-04074514v1
Page :