105
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
We propose a remedy to that part of the state-explosion problem for timed automata which is due to interleaving of actions. We prove the following quite surprising result: the unio...
106
click to vote
FOCS
2004
IEEE
15 years 7 months ago
2004
IEEE
We examine how the selfish behavior of heterogeneous users in a network can be regulated through economic dis
104
click to vote
FOCS
2004
IEEE
15 years 7 months ago
2004
IEEE
We present an efficient randomized algorithm to test if a given function f : Fn p Fp (where p is a prime) is a low-degree polynomial. This gives a local test for Generalized Reed...
106
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
126
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...