Dynamic rebinding for concurrent object groups: theory and practice

DOI10.1016/J.JLAMP.2016.03.002zbMath1353.68044OpenAlexW2330993890MaRDI QIDQ347396

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

consistencyconcurrencyobject-oriented programmingdynamic software updating

Mathematics Subject Classification ID

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

Uses Software

• Unnamed Item
• Maude
• Creol
• Fredhopper
• CoBoxes
• ABS
• JCobox
• JavAdaptor

Cites Work

• 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
• Unnamed Item
• Unnamed Item

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