Fault Model Design Space for Cooperative Concurrency-Reference-Cited by-同舟云学术

Fault Model Design Space for Cooperative Concurrency

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

Author:

Lanese Ivan,Lienhardt Michael,Bravetti Mario,Johnsen Einar Broch,Schlatte Rudolf,Stolz Volker,Zavattaro Gianluigi

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-45231-8_3

Reference32 articles.

1. Agha, G., Hewitt, C.: Actors: A conceptual foundation for concurrent object-oriented programming. In: Research Directions in Object-Oriented Programming, pp. 49–74. MIT Press (1987)

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

3. Baduel, L., et al.: Programming, Composing, Deploying, for the Grid. In: Grid Computing: Software Environments and Tools. Springer (2006)

4. Beckert, B., Hähnle, R., Schmitt, P.H.: Verification of Object-oriented Software: The KeY Approach. Springer (2007)

5. Caromel, D.: Service, Asynchrony, and Wait-By-Necessity. Journal of Object Oriented Programming, 12–22 (1989)

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

1. Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014

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