50 search results - page 1 / 10 » Undecidability Results for Finite Interactive Systems |
130
Voted
SYNASC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
106
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
BIRTHDAY
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
114
Voted
LICS
1999
IEEE
15 years 5 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
107
Voted
GI
2010
Springer
14 years 11 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...