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.
购买此电子书可免费获赠一本!
语言 英语 ● 格式 EPUB ● ISBN 9783031510601 ● 编辑 Frank de Boer & Ferruccio Damiani ● 出版者 Springer Nature Switzerland ● 发布时间 2024 ● 下载 3 时 ● 货币 EUR ● ID 9326179 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器