On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery-Reference-Cited by-同舟云学术

On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery

Published:2009 Issue: Volume: Page:660-675
ISSN:0302-9743
Container-title:FM 2009: Formal Methods
language:
Short-container-title:

Author:

Bonakdarpour Borzoo,Kulkarni Sandeep S.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-05089-3_42

Reference17 articles.

1. Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters 21, 181–185 (1985)

2. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

3. Alur, R., Henzinger, T.A.: Real-time system = discrete system + clock variables. International Journal on Software Tools for Technology Transfer 1(1-2), 86–109 (1997)

4. Lecture Notes in Computer Science;E. Asarin,1999

5. Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: IFAC Symposium on System Structure and Control, pp. 469–474 (1998)

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

1. A theory of integrating tamper evidence with stabilization;Science of Computer Programming;2018-08

2. Feedback Control as MAPE-K Loop in Autonomic Computing;Software Engineering for Self-Adaptive Systems III. Assurances;2017

3. Bounded Auditable Restoration of Distributed Systems;IEEE Transactions on Computers;2016

4. Auditable Restoration of Distributed Programs;2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS);2015-09

5. A Theory of Integrating Tamper Evidence with Stabilization;Fundamentals of Software Engineering;2015