Summary and Info
This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994.In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715.
More About the Author
Jean-Yves Girard (born 1947) is a French logician working in proof theory. He is the research director (emeritus) at the mathematical institute of Luminy.
Review and Comments
Rate the Book
CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings 0 out of 5 stars based on 0 ratings.