Sciweavers

95
Voted
SYNASC
2008
IEEE
239views Algorithms» more  SYNASC 2008»
15 years 4 months ago
Undecidability Results for Finite Interactive Systems
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...
Alexandru Sofronia, Alexandru Popa, Gheorghe Stefa...