Dynamic rebinding for concurrent object groups: theory and practice

DOI10.1016/J.JLAMP.2016.03.002zbMATH Open1353.68044OpenAlexW2330993890MaRDI QIDQ347396FDOQ347396

Authors: Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong 

Publication date: 30 November 2016

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.2016.03.002

Recommendations

• scientific article; zbMATH DE number 1546500
• scientific article; zbMATH DE number 3926232
• Computational Science - ICCS 2004
• Observable behavior of dynamic systems: component reasoning for concurrent objects
• Dynamic Access Control in a Concurrent Object Calculus
• Formal Methods for Components and Objects
• Observable behavior of distributed systems: component reasoning for concurrent objects
• Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction

zbMATH Keywords

consistencyobject-oriented programmingconcurrencydynamic software updating

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites Work

• Maude: specification and programming in rewriting logic
• Title not available (Why is that?)
• Validating timed models of deployment components with parametric concurrency
• Title not available (Why is that?)
• Creol: A type-safe object-oriented model for distributed concurrent systems

Cited In (2)

• Title not available (Why is that?)
• ReCaml: execution state as the cornerstone of reconfigurations

Uses Software

• ArchJava
• Maude
• Creol
• Fredhopper
• CoBoxes
• ABS
• JCobox
• JavAdaptor

This page was built for publication: Dynamic rebinding for concurrent object groups: theory and practice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q347396)