Logic Based Coordination for Event–Driven Self–healing Distributed Systems-Reference-Cited by-同舟云学术

Logic Based Coordination for Event–Driven Self–healing Distributed Systems

Published:2004 Issue: Volume: Page:248-262
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Montangero Carlo,Semini Laura,Semprini Simone

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24634-3_19

Reference11 articles.

1. Andrade, L., Fiadeiro, J.L.: Coordination primitives for event-based systems. In: Proceedings of the 1st Int. Workshop on Distributed Event-Based Systems, DEBS 2002 (2002)

2. Lecture Notes in Computer Science;R. Armoni,2002

3. Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)

4. Costello, T., Patterson, A.: Quantifiers and operations on modalities and contexts. In: Cohn, A.G., Schubert, L., Shapiro, S.C. (eds.) KR 1998: Principles of Knowledge Representation and Reasoning, pp. 270–281. Morgan Kaufmann, San Francisco (1998)

5. Dias, M.S., Richardson, D.J.: The role of event description in architecting dependable systems. In: 1st Workshop on Architecting Dependable Systems (WADS 2002), Orlando (May 2002)

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

1. Managing Adaptivity in Parallel Systems;Formal Methods for Components and Objects;2013

2. Model-Driven Development of Adaptable Service-Oriented Business Processes;Lecture Notes in Computer Science;2011

3. A Logical View of Choreography;Lecture Notes in Computer Science;2006

4. Logic–Based Detection of Conflicts in Appel Policies;Lecture Notes in Computer Science