Author:
Derrick John,Boiten Eerke A.
Reference8 articles.
1. Lecture Notes in Computer Science;M. Bonsangue,1998
2. Bonsangue, M., Kok, J., & Sere, K. (1999) Developing object-based distributed systems. In Ciancarini et al. [3] (pp. 19–34).
3. Ciancarini, P., Fantechi, A., & Gorrieri, R. (Eds.) (1999). Formal Methods for Open Object-Based Distributed Systems. Dordrecht: Kluwer Academic.
4. Goldsack, S. J., Lano, K., & Dürr, E. H. (1996). Annealing and data decomposition in VDM++. ACM SIGPLAN Notices, 31(4), 32–38.
5. Lano, K., & Goldsack, S. Refinement of distributed object systems. In Najm and Stefani [6] (pp. 99–114).