A Formal View of Multicomputers 1: Specifying Computer Behaviour Using Lotos

  • Francisco J. Quilesy
  • Published 2007


Formal Methods and Techniques are widely used in communication systems and distributed computing. Today, such techniques are not suuciently employed in other systems as industrial processes or hardware design. In this paper we propose a methodology to apply the Lotos technique in computer design. Thus, we describe a particular case based on specifying a… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics