Automated Synthesis of Distributed Controllers-Reference-Cited by-同舟云学术

Automated Synthesis of Distributed Controllers

Published:2015 Issue: Volume: Page:11-27
ISSN:0302-9743
Container-title:Automata, Languages, and Programming
language:
Short-container-title:

Author:

Muscholl Anca

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-47666-6_2

Reference45 articles.

1. Abdulla, P., Aronis, S., Jonsson, B., Sagonas, K.: Optimal dynamic partial order reduction. In: POPL 2014, pp. 373–384. ACM (2014)

2. Akshay, S., Dinca, I., Genest, B., Stefanescu, A.: Implementing realistic asynchronous automata. In: FSTTCS 2013, LIPIcs, pp. 213–224. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2013)

3. Alur, R., McMillan, K., Peled, D.: Model-checking of correctness conditions for concurrent objects. In: LICS 1996, pp. 219–228. IEEE (1996)

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

5. Lecture Notes in Computer Science;B Bollig,2009

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

1. (Un)Decidability Bounds of the Synthesis Problem for Petri Games;Electronic Proceedings in Theoretical Computer Science;2023-09-30

2. Distributed Asynchronous Games With Causal Memory are Undecidable;Logical Methods in Computer Science;2022-09-08

3. Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3);Software and Systems Modeling;2021-11-01

4. Parameterized Synthesis for Fragments of First-Order Logic Over Data Words;Lecture Notes in Computer Science;2020

5. Distributed Autonomous and Asynchronous Automata (DA3);Studies in Computational Intelligence;2019-03-17