Travelled to:
1 × USA
Collaborated with:
A.T.Cohen
Talks about:
nondeterminist (1) program (1) algebra (1) toward (1)
Person: Thomas J. Myers
DBLP: Myers:Thomas_J=
Contributed to:
Wrote 1 papers:
- LFP-1982-CohenM #algebra #nondeterminism #source code #towards
- Toward an Algebra of Nondeterministic Programs (ATC, TJM), pp. 235–242.