Dynamic rebinding for concurrent object groups: theory and practice

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

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

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)

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 (1)

• Title not available (Why is that?)

Uses Software

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

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)