Dynamic rebinding for concurrent object groups: theory and practice

DOI10.1016/J.JLAMP.2016.03.002MaRDI QIDQ347396zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 2089391 (Why is no real title available?)
• scientific article; zbMATH DE number 2161893 (Why is no real title available?)
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Maude: specification and programming in rewriting logic
• Validating timed models of deployment components with parametric concurrency

Cited in

(2)

• scientific article; zbMATH DE number 2089411 (Why is no real title available?)
• ReCaml: execution state as the cornerstone of reconfigurations

Describes a project that uses

Uses Software

• JavAdaptor
• JCobox
• ABS
• CoBoxes
• Creol
• Maude
• ArchJava
• Title not available

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)