1355 search results - page 5 / 271 » Alternating Timed Automata over Bounded Time |
WAOA
2010
Springer
13 years 5 months ago
2010
Springer
We study flows over time in networks with transit times on the arcs. Transit times describe how long it takes to traverse an arc. A flow over time specifies for each arc a time-dep...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
ICTAC
2009
Springer
14 years 2 months ago
2009
Springer
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...