Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.

Journal

Algorithms and Computation, 6th International Symposium, ISAAC '95, Cairns, Australia, December 4-6, 1995, Proceedings

Pages

301-310

Date Issued

1995

Author(s)

Yen, Hsu-Chun

Jian, Shi-Tsuen

Lao, Ta-Pang

DOI

URI

URL

Type

conference paper