4604 search results - page 164 / 921 » Concurrency in Synchronous Systems |
96
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper addresses passivity-based output synchronization and a collision avoidance problem of rigid bodies in the Special Euclidean group SE(3) under the assumption ...
125
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper a distributed algorithm for clock synchronization is proposed. This algorithm is based on an extension of the consensus algorithm able to synchronize a family of dou...
115
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
130
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...