Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Laneve C., Ristori G. A temporal logic approach to the semantics of concurrent systems. Internal note IEI-B4-40, 1989.
Some results obtained in our research on temporal semantics of languages for the formal description of concurrent systems are presented in this paper. A compositional linear temporal semantics to a CCS-like language, sound and complete with respect to the operational semantics modulo string equivalence of this language, is given. Then we consider the possibility to enrich the expressive power of this temporal semantics, on one hand in order to express other language operators, on the other hand to obtain the consistency with respect to the observational semantics of the language. It is shown that the temporal semantics given is a suitable tool for a study of the properties of infinite computations and for an analysis of possible semantics of recursion.

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