logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-09062016-145427


Tipo di tesi
Tesi di laurea magistrale
Autore
MASSARO, VITTORIO
URN
etd-09062016-145427
Titolo
Congruence from the Operator's Point of View: from Concrete to Abstract Semantics
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA
Relatori
relatore Prof. Bruni, Roberto
Parole chiave
  • Compositionality
  • Congruence
  • Modal Characterization
  • Operational Semantics
  • Process Algebra
  • Process Operators
Data inizio appello
07/10/2016
Consultabilità
Completa
Riassunto
Congruence with respect to process algebraic operators is an important characteristic for a behavioural semantics. A widely used method to ensure this property is to single out a semantics, and impose syntactic restrictions on the structural operational semantics definition of operators. In this study, we approach this issue from the operator’s point of view. Given an operator, we find constraints on the modal characterization of semantics to guarantee that the semantics is a congruence with respect to that operator. We extend previous results regarding concrete semantics to include the renaming operator, and extend this work to weak semantics.
File