Sciweavers

1064 search results - page 3 / 213

» Disjoint Systems (Extended Abstract)

15

ICALP
1997
Springer

67views Programming Languages» more ICALP 1997»

Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)

13 years 10 months ago

Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)

Download www.lix.polytechnique.fr

Olivier Bournez

claim paper

Read More »

17

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

13 years 9 months ago

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

Download www.cs.tau.ac.il

Alexander Moshe Rabinovich

claim paper

Read More »

15

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

13 years 10 months ago

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

13

STACS
1995
Springer

110views Theoretical Computer Science» more STACS 1995»

On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)

13 years 9 months ago

On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)

Download www-verimag.imag.fr

Oded Maler, Amir Pnueli, Joseph Sifakis

claim paper

Read More »

19

JCT
2010

135views more JCT 2010»

Countable connected-homogeneous graphs

13 years 4 months ago

Countable connected-homogeneous graphs

Download www.amsta.leeds.ac.uk

Abstract. A graph is connected-homogeneous if any isomorphism between ﬁnite connected induced subgraphs extends to an automorphism of the graph. In this paper we classify the cou...

Robert Gray, D. Macpherson

claim paper

Read More »

« Prev « First page 3 / 213 Last » Next »