An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness

Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh. An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. In Kanchana Kanchanasut, Jean-Jacques Lévy, editors, Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC 95, Pathumthani, Tailand, December 11-13, 1995, Proceedings. Volume 1023 of Lecture Notes in Computer Science, pages 88-102, Springer, 1995.

Authors

Manoranjan Satpathy

This author has not been identified. Look up 'Manoranjan Satpathy' in Google

Amitabha Sanyal

This author has not been identified. Look up 'Amitabha Sanyal' in Google

G. Venkatesh

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