作者: Bengt Jonsson

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been m …

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 …