Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Lijtmaer N. A temporal logic approach in the design of communication mechanism for functionally distributed systems. In: AICA '86 - Congresso annuale AICA. (Palermo, Italy, 24 - 26 September 1986). Atti, pp. 43 - 48. AICA, 1986.
This work has been developed on the basis of a previous experience made inside a project for a functionally distributed system (Cnet), in which an inter-node communication mechanism was defined in terms of Ada(TM) packages. This paper gives a more general framework for the definition of properties of the communication schemes, showing that a temporal logic approach to the definition of the properties can be used as an aid to the design of the communication mechanisms, and as a unifying tool for describing its integration in a high level language.
Subject Temporal Logic

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