TTermination of nondeterministic programsTermination of nondeterministic programsde J. W. de BakkerEdiciones (1)Termination of nondeterministic programs. (1975)Mathematisch Centrum · inglésMás obras de J. W. de BakkerCurrent Trends in ConcurrencyPARLE - Parallel Architectures and Languages Europe Vol. 2Logic Programming LanguagesVer todas las obras de J. W. de Bakker →