CONCUR '94, Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22-25, 1994 : Proceedings

Front Cover
Bengt Jonsson, Joachim Parrow
Springer-Verlag, 1994 - Parallel processing (Electronic computers) - 528 pages
"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"--PUBLISHER'S WEBSITE.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A compositional semantics for statecharts using labeled transition systems
2
Uselton and S A Smolka
17
Regularity of BPAsystems is decidable
34
Copyright

31 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information