Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling-Reference-Cited by-同舟云学术

Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling

Published:2014 Issue: Volume: Page:5-21
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
language:
Short-container-title:

Author:

Göri Georg,Johnsen Einar Broch,Schlatte Rudolf,Stolz Volker

Publisher

Springer Berlin Heidelberg

Link

Reference19 articles.

1. Armstrong, J.: Erlang—a survey of the language and its industrial applications. In: Proc. INAP, vol. 96 (1996)

2. Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf (2007)

4. Candea, G., Fox, A.: Crash-only software. In: Jones, M.B. (ed.) HotOS, pp. 67–72. USENIX (2003)

5. Caromel, D., Henrio, L.: A Theory of Distributed Objects. Springer (2005)

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

2. Fault Model Design Space for Cooperative Concurrency;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014

3. Introduction to Track on Engineering Virtualized Services;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014