Most of the SOS semantics for concurrent systems can be derived by abstracting on the inference rules of a concrete transition system, namely the proved transition system. Besides the standard interleaving semantics we mechanically derive the causal transition system for C C S, whose definition is particularly difficult and paradigmatic. Its rules are shown to coincide with those presented in the literature. Also, the tree of its computations coincide with that obtained by abstracting the computations of the proved transition system.
Titolo: | Constructing specific SOS semantics for concurrency via abstract interpretation |
Autori interni: | |
Anno del prodotto: | 1998 |
Serie: | |
Handle: | http://hdl.handle.net/11568/203795 |
ISBN: | 9783540650140 |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
SAS'98.pdf | Versione finale editoriale | NON PUBBLICO - Accesso privato/ristretto | Utenti riconosciuti Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.