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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Centrum voor Wiskunde en Informatica
labStructName_s : Laboratoire Spécification et Vérification [Cachan]
Image document

On Synchronous and Asynchronous Compatibility of Communicating Components

Rolf Hennicker , Michel Bidoit , Thanh-Son Dang
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.138-156, ⟨10.1007/978-3-319-39519-7_9⟩
Conference papers hal-01631726v1
Image document

Scheduling Games for Concurrent Systems

Kasper Dokter , Sung-Shik Jongmans , Farhad Arbab
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.84-100, ⟨10.1007/978-3-319-39519-7_6⟩
Conference papers hal-01631719v1