Keeping track of the latest gossip in a distributed system
Distributed Computing
Distributed Asynchronous Automata
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Compositional synthesis of asynchronous automata
Theoretical Computer Science
Unfolding synthesis of asynchronous automata
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
A NOTE ON MÉTIVIER'S CONSTRUCTION OF ASYNCHRONOUS AUTOMATA FOR TRIANGULATED GRAPHS
Fundamenta Informaticae
Hi-index | 0.00 |