Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings
M. Joseph, R. Shyamasundar
Springer Science & Business Media, 1984 - Computers - 468 pages
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract agent algorithm application array associated assume begin called communication complex Computer condition consider consists construction contains corresponding cycle database deadlock defined Definition denote described detected directed distributed edges elements enrollment equivalence errors example exists extend Figure formal formulae function given graph Hence hypergraph implementation independent initial input intersection introduce labelled language Lemma length linear lock logic mapping nets node Note object obtained occurs operations pair partition path polygon possible present problem proc procedure processors proof properties protocol prove receiver refer relation represent respectively roles rule satisfy scheme Science script segments sequence shown simple sorted specification step structure symbol Theorem theory transaction transformation tree true University values vertex vertices