Deterministic Asynchronous Automata for Infinite Traces (1993)

Cached

Download Links

by Volker Diekert , Anca Muscholl
Venue:Acta Informatica
Citations:13 - 3 self

Active Bibliography

An Extension Of Kleene's and . . . – Paul Gastin , et al. - 1994
34 Partial Commutation and Traces – Volker Diekert, Yves Métivier - 1997
31 Logical Definability on Infinite Traces – Werner Ebinger, Anca Muscholl - 1993
1 On the complementation of asynchronous cellular Büchi automata – Anca Muscholl - 1996
1 On Efficient Reduction-Algorithms for Some Trace Rewriting Systems – Michael Bertol, Volker Diekert - 1993
1 A Domain for Concurrent Termination: A Generalization of Mazurkiewicz traces – Volker Diekert, Paul Gastin - 1994
1 Confluence Problems for Trace Rewriting Systems – Markus Lohrey - 2001
1 On the confluence of trace rewriting systems – Markus Lohrey - 1998
2 Assumption-Commitment in Automata – Swarup Mohalik, R. Ramanujam - 1997
1 Determinizing Asynchronous Automata on Infinite Inputs – Nils Klarlund, Nils Klarlund, Madhavan Mukund, Madhavan Mukund, Milind Sohoni, Milind Sohoni - 1995
6 Keeping Track of the Latest Gossip in a Distributed System – Madhavan Mukund, Milind Sohoni - 1997
3 Gossiping, Asynchronous Automata and Zielonka's Theorem – Madhavan Mukund, Milind Sohoni - 1994
2 Code Problems on Traces – Volker Diekert, Anca Muscholl - 1996
3 Efficient Rewriting in Cograph Trace Monoids – Michael Bertol - 1995
8 SOME IDENTITIES RELATED TO AUTOMATA, DETERMINANTS, AND MÖBIUS FUNCTIONS – Volker Diekert, et al.
Kleene Coalgebra – an overview – Ra Silva, Marcello Bonsangue, Jan Rutten, Centrum Wiskunde
1 A Hierarchy of Partial Order Temporal Properties – Marta Kwiatkowska, Doron Peled, Wojciech Penczek - 1994
4 Two-phase distributed observation problems – Stavros Tripakis - 2005
May 2006Distributed Muller Automata and Logics – Benedikt Bollig, Dietrich Kuske