Testing equivalence as a bisimulation equivalence Rance CleavelandMatthew Hennessy OriginalPaper Pages: 1 - 20
Distributed maximum maintenance on hierarchically divided graphs P. J. A. LentfertS. D. Swierstra OriginalPaper Pages: 21 - 60
Equality of agent expressions is preserved under an extension of the universe of actions T. MassartR. Devillers OriginalPaper Pages: 79 - 88