An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems.

Shengkai Lu, Yi Deng

Browse the full SEKE paper archive.