TY  - BOOK
AU  - de Boer,Frank
AU  - Damiani,Ferruccio
AU  - Hähnle,Reiner
AU  - Broch Johnsen,Einar
AU  - Kamburjan,Eduard
ED  - SpringerLink (Online service)
TI  - Active Object Languages: Current Research Trends
T2  - Lecture Notes in Computer Science,
SN  - 9783031510601
AV  - QA76.6-76.66 
U1  - 005.11 23
PY  - 2024///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Computer programming
KW  - Microprogramming 
KW  - Computer input-output equipment
KW  - Logic design
KW  - Computer networks 
KW  - Microprocessors
KW  - Computer architecture
KW  - Programming Techniques
KW  - Control Structures and Microprogramming
KW  - Input/Output and Data Communications
KW  - Logic Design
KW  - Computer Communication Networks
KW  - Processor Architectures
N1  - Active Objects based on Algebraic Effects -- Actor-based Designs for Distributed Self-organisation Programming -- Encore: Coda -- Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems -- A Survey of Actor-Like Programming Models for Serverless Computing -- Programming Language Implementations with Multiparty Session Types -- Modelling -- Integrated Timed Architectural Modeling/Execution Language -- Simulating User Journeys with Active Objects -- Actors Upgraded for Variability, Adaptability, and Determinism -- Analysis -- Integrating Data Privacy Compliance in Active Object Languages -- Context-aware Trace Contracts -- Type-Based Verification of Delegated Control in Hybrid Systems -- Enforced Dependencies for Active Objects
N2  - 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
UR  - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-51060-1
ER  -