An automata-theoretic approach to the verification of distributed algorithms-Reference-Cited by-同舟云学术

An automata-theoretic approach to the verification of distributed algorithms

Author:

Aiswarya C.,Bollig Benedikt,Gastin Paul

Funder

LIA INFORMEL

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference41 articles.

1. General decidability theorems for infinite-state systems;Abdulla,1996

2. Parameterized verification;Abdulla;Int. J. Softw. Tools Technol. Transf.,2016

3. Block me if you can! – context-sensitive parameterized verification;Abdulla,2014

4. An automata-theoretic approach to the verification of distributed algorithms;Aiswarya,2015

5. Streaming transducers for algorithmic verification of single-pass list-processing programs;Alur,2011

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

3. Methodology for fast prototyping of distributed real-time systems;2022 5th International Symposium on Informatics and its Applications (ISIA);2022-11-29

4. Identifiers in Registers;Lecture Notes in Computer Science;2019