11328 search results - page 12 / 2266 » Timed Branching Processes |
119
Voted
JUCS
2010
15 years 8 days ago
2010
: We introduce a first-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no fini...
111
Voted
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
113
Voted
INFORMATICALT
2007
15 years 1 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
110
click to vote
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
120
click to vote
RTCSA
2009
IEEE
15 years 8 months ago
2009
IEEE
—One step in the verification of hard real-time systems is to determine upper bounds on the worst-case execution times (WCET) of tasks. To obtain tight bounds, a WCET analysis h...