Type Checking in Open Distributed Systems: a Complete Model and its Z Specification (1970)
Jacob Slonim, John Botsford, Open Distributed, R. O. Sinnott, K. J. Turner, Stirling Fk La
Type checking is at the heart of distributed systems. The ability to be able to configure objects and have them interwork correctly may well be regarded as the fundamental issue in the development of...