Undecidability Results for Finite Interactive Systems


This paper is on the foundations of a recent approach to the design of massively parallel and interactive programming languages using rv-systems (interactive systems with registers and voices) and Agapia programming. It includes a few theoretical results on FISs (finite interactive systems), the underlying mechanism used for specifying control and… (More)
DOI: 10.1109/SYNASC.2008.42


1 Figure or Table

Cite this paper

@article{Sofronia2008UndecidabilityRF, title={Undecidability Results for Finite Interactive Systems}, author={Alexandru Sofronia and Alexandru Popa and Gheorghe Stefanescu}, journal={2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing}, year={2008}, pages={366-369} }