- String Diagrammatic Trace Theory Matthew Earnshaw Paweł Sobociński Fri 18 April 2025
- Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages Bharat Adsul Paul Gastin Saptarshi Sarkar Pascal Weil Fri 24 November 2023
- A quadratic construction for Zielonka automata with acyclic communication structure Siddharth Krishna Anca Muscholl Mon 30 April 2018
- Asynchronous Automata Wiesław Zielonka Wed 17 September 2014
- Deterministic asynchronous automata for infinite traces Volker Diekert Anca Muscholl Thu 21 February 2013
- On the complementation of Buchi asynchronous cellular automata Anca Muscholl Thu 21 February 2013
- Deterministic asynchronous automata for infinite traces Volker Diekert Anca Muscholl Thu 21 February 2013
- On the complementation of asynchronous cellular Btextasciitilde Achi automata Anca Muscholl Thu 21 February 2013
- Notes on Finite Asynchronous Automata Wieslaw Zielonka Sun 27 May 2012
- Asynchronous Games over Tree Architectures Blaise Genest Hugo Gimbert Anca Muscholl Igor Walukiewicz Sun 06 May 2012
- Optimal Zielonka-type construction of deterministic asynchronous automata Blaise Genest Hugo Gimbert Anca Muscholl Igor Walukiewicz Mon 19 March 2012
Library Size: 13G (11 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
