Functional Behaviour of Nondeterministic Programs

Michael G. Main, David B. Benson. Functional Behaviour of Nondeterministic Programs. In Marek Karpinski, editor, Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983. Volume 158 of Lecture Notes in Computer Science, pages 290-301, Springer, 1983.

Authors

Michael G. Main

This author has not been identified. Look up 'Michael G. Main' in Google

David B. Benson

This author has not been identified. Look up 'David B. Benson' in Google