Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Mazzarini G. How much expressive are LOTOS behaviour expressions?. In: FORTE '90 - 3rd International Conference on Formal Description Techniques. (Madrid, Spain, 5 - 8 November 1990). Proceedings, pp. 9 - 24. Juan Quemada, Josť Manas, Enrique Vazquez (eds.). North-Holland, 1990.
It is a known result that, when in an action prefix language like LOTOS we have both recursion and parallel composition operators, the finite-state behaviour of processes is in general lost. Actually, this happens also when other LOTOS operators, such as enabling or disabling, are used in a recursive context. The purpose of our paper is to study the expressive power of Basic LOTOS in terms of the relations between the syntactical structure and the finite-state behaviour of processes. We then define some sufficient conditions on the syntactical shape of the specifications in order to preserve the finite-state nature.
Subject LOTOS

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