default search action
Active Object Languages: Current Research Trends, 2024
- Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan:
Active Object Languages: Current Research Trends. Lecture Notes in Computer Science 14360, Springer 2024, ISBN 978-3-031-51059-5
Programming
- Martin Andrieux, Ludovic Henrio, Gabriel Radanne:
Active Objects Based on Algebraic Effects. 3-36 - Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Actor-Based Designs for Distributed Self-organisation Programming. 37-58 - Elias Castegren, Tobias Wrigstad:
Encore: Coda. 59-91 - Guido Salvaneschi, Pascal Weisenburger:
Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems. 92-122 - Jonas Spenger, Paris Carbone, Philipp Haller:
A Survey of Actor-Like Programming Models for Serverless Computing. 123-146 - Nobuko Yoshida:
Programming Language Implementations with Multiparty Session Types. 147-165
Modelling
- Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro:
Integrated Timed Architectural Modeling/Execution Language. 169-198 - Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Simulating User Journeys with Active Objects. 199-225 - Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani:
Actors Upgraded for Variability, Adaptability, and Determinism. 226-260
Analysis
- Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe:
Integrating Data Privacy Compliance in Active Object Languages. 263-288 - Reiner Hähnle, Eduard Kamburjan, Marco Scaletta:
Context-Aware Trace Contracts. 289-322 - Eduard Kamburjan, Michael Lienhardt:
Type-Based Verification of Delegated Control in Hybrid Systems. 323-358 - Violet Ka I Pun, Volker Stolz:
Enforced Dependencies for Active Objects. 359-374
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.