Search - IFIP Open Digital Library Access content directly

Filter your results

5 results
authFullName_s : Rolf Hennicker
Page :
sorted by
Image document

Team Automata@Work: On Safe Communication

 Maurice H. ter Beek , Rolf Hennicker , Jetty Kleijn
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.77-85, ⟨10.1007/978-3-030-50029-0_5⟩
Conference papers hal-03273992v1
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

Communication Requirements for Team Automata

 Maurice Beek , Josep Carmona , Rolf Hennicker , Jetty Kleijn
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.256-277, ⟨10.1007/978-3-319-59746-1_14⟩
Conference papers hal-01657348v1
Image document

Observational Semantics for Dynamic Logic with Binders

 Rolf Hennicker , Alexandre Madeira
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.135-152, ⟨10.1007/978-3-319-72044-9_10⟩
Conference papers hal-01767472v1
Image document

Role-Based Development of Dynamically Evolving Esembles

 Rolf Hennicker
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-23220-7_1⟩
Conference papers hal-02364578v1
Page :