Frank de Boer (ed.); Ferruccio Damiani (ed.); Reiner Hähnle (ed.); Einar Broch Johnsen (ed.); Eduard Kamburjan (ed.) Springer (2024) Pehmeäkantinen kirja
Harry de Boer; Jon File; Jeroen Huisman; Marco Seeber; Martina Vukasovic; Don F Westerheijden Springer International Publishing AG (2016) Kovakantinen kirja
Willem-Paul de Roever; Frank de Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers Cambridge University Press (2012) Pehmeäkantinen kirja
Pascal Hitzler; Sabrina Kirrane; Olaf Hartig; Victor de Boer; Maria-Esther Vidal; Maria Maleshkova; Stefan Schlobach; Ham Springer Nature Switzerland AG (2019) Pehmeäkantinen kirja
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.
