Sciweavers

2681 search results - page 30 / 537
» Topics in asynchronous systems
Sort
View
70
Voted
SOFSEM
2009
Springer
15 years 11 months ago
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
Thomas Chatain, Paul Gastin, Nathalie Sznajder
131
Voted
ACRI
2008
Springer
15 years 9 months ago
Examples of Fast and Slow Convergence of 2D Asynchronous Cellular Systems
This article studies the convergence properties of some 2D cellular automata, when a single cell is updated at random at each time step. We tackle this question for a particular s...
Nazim Fatès, Lucas Gerin
71
Voted
APSEC
2002
IEEE
15 years 7 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...