The specification of a generic multicomputer using Lotos
Jose Antonio Gallud, José Manuel García · ACM SIGPLAN Notices · 1995
Formal Methods of specification can play an important role in exploring the behaviour of complex systems, as distributed systems or communication protocols. Lotos, based on algebra of processes, has been chosen as an international standard for specifying many systems. We show in this paper the model for a popular class of parallel machines: multicomputers. This paper establishes a guide to employ the Lotos technique in specifying problems on multicomputer architecture. We focus our attention in a new feature of these machines: the dynamic reconfiguration of the network.