1. Baguelin, A, J. Dongarra, G. Giest, R. Manchek and V. Sunderam, Graphical development tools for network-based concurrent computing, in: Supercomputing'91, 1991, pp. 435–444
2. Visual programming and debugging for parallel computing;Browne;IEEE Parallel Distrib. Technol.,1995
3. An environment for the development of concurrent object-based applications;Dotti;Electronic Notes in Theoretical Computer Science,2004
4. Verification of object-based distributed systems;Dotti,2003
5. Dotti, F.L. and L. Ribeiro, Specification of mobile code systems using graph grammars, in: 4th International Conference on Formal Methods for Open Object-Based Distributed Systems, IFI Conference Proceedings 177 (2000), pp. 45–63