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, Java Script, 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.
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format EPUB ● ISBN 9783031510601 ● Editor Frank de Boer & Ferruccio Damiani ● Editura Springer Nature Switzerland ● Publicat 2024 ● Descărcabil 3 ori ● Valută EUR ● ID 9326179 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM