114 search results - page 3 / 23 » On Infinite Cycles II |
CONCUR
2006
Springer
13 years 9 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
JGT
2008
13 years 5 months ago
2008
: We develop a general model of edge spaces in order to generalize, unify, and simplify previous work on cycle spaces of infinite graphs. We give simple topological criteria to sho...
AIML
2008
13 years 7 months ago
2008
We generalise some results of [7, 5] and show that if L is an -modal logic (for some ordinal 3) such that (i) L contains the product logic K and (ii) the product of -many trees o...
COMBINATORICS
2004
13 years 5 months ago
2004
We consider Class-Uniformly Resolvable frames (CURFs), which are group divisible designs with partial resolution classes subject to the class-uniform condition. We derive the nece...
JNS
2007
13 years 5 months ago
2007
Abstract. This paper examines the bifurcation and structure of the bifurcated solutions of the two-dimensional infinite Prandtl number convection problem. The existence of a bifur...