An evaluation of interaction paradigms for active objects

DOI10.1016/j.jlamp.2018.11.008zbMath1417.68023OpenAlexW2902983696WikidataQ128900165 ScholiaQ128900165MaRDI QIDQ1734521

Toktam Ramezanifarkhani, Olaf Owe, Farzane Karami

Publication date: 27 March 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2018.11.008

zbMATH Keywords

distributed systemsfuturesconcurrencyactive objectsasynchronous methodscooperative schedulinginteraction mechanisms

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14)

Related Items (3)

A lightweight approach to smart contracts supporting safety, security, and privacy ⋮ Static checking of GDPR-related privacy compliance for object-oriented distributed systems ⋮ Dynamic structural operational semantics

Uses Software

• ProActive
• Multilisp
• Creol
• Rebeca
• ABS
• JCobox
• ABCL
• AmbientTalk

Cites Work

• A sound and complete reasoning system for asynchronous communication with shared futures
• Creol: A type-safe object-oriented model for distributed concurrent systems
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Secured Information Flow for Asynchronous Sequential Processes
• Axiomatic semantics of communicating sequential processes
• MULTILISP: a language for concurrent symbolic computation
• Guarded commands, nondeterminacy and formal derivation of programs
• Compositional Reasoning about Shared Futures
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An evaluation of interaction paradigms for active objects