Calibrating embedded protocols on asynchronous systems-Reference-Cited by-同舟云学术

Calibrating embedded protocols on asynchronous systems

Published:2010-05 Issue:10 Volume:180 Page:1793-1801
ISSN:0020-0255
Container-title:Information Sciences
language:en
Short-container-title:Information Sciences

Author:

Yamauchi Yukiko,Bein Doina,Masuzawa Toshimitsu,Morales Linda,Hal Sudborough I.

Publisher

Elsevier BV

Subject

Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software

Reference39 articles.

1. P.A. Abdulla, B. Jonsson, Verifying programs with unreliable channels, in: Proc. 8th IEEE Int. Symposium on Logic in Computer Science, June 1993, pp. 160–170.

2. Verifying programs with unreliable channels;Abdulla;Journal of Information and Computation,1996

3. Foreword: special issue on tools for computer communication systems;Aggarwal;IEEE Transactions on Software Engineering,1988

4. Finite state description of communication protocols;Bochmann;Computer Networks,1978

5. On communicating finite-state machines;Brand;Journal of ACM,1983

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

1. Randomized Gathering of Mobile Agents in Anonymous Unidirectional Ring Networks;IEEE Transactions on Parallel and Distributed Systems;2014-05

2. Output feedback control of asynchronous sequential machines with disturbance inputs;Information Sciences;2014-02

3. An enhanced flow analysis technique for detecting unreachability faults in concurrent systems;Information Sciences;2012-07

4. RELIABLE COMMUNICATION ON EMULATED CHANNELS RESILIENT TO TRANSIENT FAULTS;International Journal of Foundations of Computer Science;2011-08