Complexity of Equivalence Problems for Concurrent Systems of Finite Agents

Alexander Moshe Rabinovich. Complexity of Equivalence Problems for Concurrent Systems of Finite Agents. Inf. Comput., 139(2):111-129, 1997.

Abstract

Abstract is missing.