Dynamic Software Update for Message Passing Programs-Reference-Cited by-同舟云学术

Dynamic Software Update for Message Passing Programs

Published:2012 Issue: Volume: Page:207-222
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Anderson Gabrielle,Rathke Julian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-35182-2_15

Reference17 articles.

1. Ajmani, S.: Automatic Software Upgrades for Distributed Systems. Artificial Intelligence (Cm), 1–23 (2004)

2. Anderson, G.: Behavioural Properties and Dynamic Software Update for Concurrent Programs. Ph.D. Thesis, University of Southampton (2012)

3. Appel, A.: Hot-sliding in ML. Technical report. Princeton University, Princeton, New Jersey, USA

4. Lecture Notes in Computer Science;L. Bettini,2008

5. Bierman, G., Hicks, M., Sewell, P., Stoyle, G.: Formalizing Dynamic Software Updating. In: Proceedings of the 2nd Workshop on Unanticipated Software Evolution

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

1. Dynamic software updating: a systematic mapping study;IET Software;2020-09-02

2. Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019

3. Replication, refinement & reachability: complexity in dynamic condition-response graphs;Acta Informatica;2017-09-21

4. A software deployment algorithm of conflict detection and automatic adjustment;AIP Conference Proceedings;2017

5. Most General Property-Preserving Updates;Language and Automata Theory and Applications;2017