Bisimulation for Models in Concurrency

Mogens Nielsen, Christian Clausen. Bisimulation for Models in Concurrency. In Bengt Jonsson, Joachim Parrow, editors, CONCUR 94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Volume 836 of Lecture Notes in Computer Science, pages 385-400, Springer, 1994.

Abstract

Abstract is missing.