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

Filter your results

3 results
Image document

Counter Machines and Distributed Automata

Olivier Carton , Bruno Guillon , Fabian Reiter
24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.13-28, ⟨10.1007/978-3-319-92675-9_2⟩
Conference papers hal-01824873v1

Formal Techniques for Distributed Objects, Components, and Systems

Ahmed Bouajjani , Alexandra Silva
Springer International Publishing, LNCS-10321, 2017, Lecture Notes in Computer Science, 978-3-319-60224-0. ⟨10.1007/978-3-319-60225-7⟩
Books hal-01658426v1
Image document

Coalgebraic Methods in Computer Science

Daniela Petrişan , Jurriaan Rot
Springer International Publishing, LNCS-12094, 2020, Lecture Notes in Computer Science, 978-3-030-57200-6. ⟨10.1007/978-3-030-57201-3⟩
Books hal-03232344v1