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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : INRIA Lorraine
labStructName_s : Inria Grenoble - Rhône-Alpes
Image document

Remarks on the Cellular Automaton Global Synchronisation Problem

Nazim Fatès
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jarkko Kari, Jun 2015, Turku, Finland. pp.113-126, ⟨10.1007/978-3-662-47221-7_9⟩
Conference papers hal-01255925v1
Image document

Simple Isolation for an Actor Abstract Machine

Benoit Claudel , Quentin Sabah , Jean-Bernard Stefani
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.213-227, ⟨10.1007/978-3-319-19195-9_14⟩
Conference papers hal-01767336v1