Type-Safe Runtime Class Upgrades in Creol-Reference-Cited by-同舟云学术

Type-Safe Runtime Class Upgrades in Creol

Published:2006 Issue: Volume: Page:202-217
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Yu Ingrid Chieh,Johnsen Einar Broch,Owe Olaf

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11768869_16

Reference22 articles.

1. Ajmani, S., Liskov, B., Shrira, L.: Scheduling and simulation: How to upgrade distributed systems. In: Hot Topics in Op. Sys. (HotOS-IX), pp. 43–48 (2003)

2. Armstrong, J.L., Virding, S.R.: Erlang - an experimental telephony programming language. In: XIII International Switching Symposium (June 1990)

3. Bierman, G., Hicks, M., Sewell, P., Stoyle, G.: Formalizing dynamic software updating. In: Unanticipated Software Evolution (USE) (May 2003)

4. Bloom, T.: Dynamic Module Replacement in a Distributed Programming System. PhD thesis, MIT, Also available as MIT LCS Tech. Report 303 (1983)

5. Boyapati, C., et al.: Lazy modular upgrades in persistent object stores. In: OOPSLA 2003, pp. 403–417. ACM Press, New York (2003)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Summary of: Dynamic Structural Operational Semantics;Lecture Notes in Computer Science;2019

2. A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems;Fundamentals of Software Engineering;2019

3. The Credo Methodology;Formal Methods for Components and Objects;2010

4. Modular Schedulability Analysis of Concurrent Objects in Creol;Fundamentals of Software Engineering;2010

5. Concurrent Objects à la Carte;Concurrency, Compositionality, and Correctness;2010