Sciweavers

18493 search results - page 377 / 3699
» Timers for Distributed Systems
Sort
View
CONCUR
2012
Springer
13 years 8 months ago
Avoiding Shared Clocks in Networks of Timed Automata
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
Sandie Balaguer, Thomas Chatain
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
15 years 12 months ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu