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.
A temporal logic approach to the semantics of concurrent systems
Fantechi A;Gnesi S;
1989
Abstract
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.| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_418106-doc_147534.pdf
accesso aperto
Descrizione: A temporal logic approach to the semantics of concurrent systems
Dimensione
1.47 MB
Formato
Adobe PDF
|
1.47 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
