Sciweavers

11328 search results - page 17 / 2266
» Timed Branching Processes
Sort
View
ENTCS
2006
108views more  ENTCS 2006»
15 years 1 months ago
Preventing Timing Leaks Through Transactional Branching Instructions
Gilles Barthe, Tamara Rezk, Martijn Warnier
FUIN
2006
80views more  FUIN 2006»
15 years 1 months ago
Update and Abstraction in Model Checking of Knowledge and Branching Time
Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M...
CORR
2007
Springer
78views Education» more  CORR 2007»
15 years 1 months ago
Hybrid Branching-Time Logics
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...
Volker Weber
96
Voted
IGPL
2007
91views more  IGPL 2007»
15 years 1 months ago
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
Valentin Goranko, Alberto Zanardo