17840 search results - page 3327 / 3568 » Heterogeneous Parallel Computing |
193
click to vote
CONCUR
2007
Springer
16 years 21 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
138
click to vote
CONCUR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...
170
click to vote
CONCUR
2007
Springer
16 years 21 days ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
161
click to vote
CONCUR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
148
click to vote
CONCUR
2007
Springer
16 years 21 days ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...