PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Corsini P., Frosini G. Persistent and active systems. Internal note IEI-B74-02, 1974.
 
 
Abstract
(English)
The paper deals with the problem of interconnecting mutually asynchronous units in digital systems. A unit is characterized by its input/output relation, and no hypothesis is made on its internal structure. A model is given in order to simulate the behaviour of a unit in a system and to analyze the system properties. The examined properties are 1) the persistence (i.e. every signal is always absorbed by unit to which it is directed), and 2) the activity (i.e. there are no hang-up situations). The problem of interconnecting previously constructed systems is considered, and necessary and sufficient conditions are given in order to establish if the resulting system is persistent and active.
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional