Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings - Chandru, Vijay, 1953-; Vinay, V.; Conference on Foundations of Software Technology and Theoretical Computer Science 1996 : Hyderabad, India) (Berlin ; New York : Springer, 1996)
Graph Types for Monadic Mobile Processes / N. Yoshida.
"FST and TCS 16"--Cover.
"The proceedings of the Sixteenth Annual Conference on Foundations of Software Technology and Theoretical Computer Science"--Pref.
Includes bibliographical references and index.
Keywords: Computer software -- Congresses; Computer science -- Congresses