A concurrent extension of the recent COP language MLCoDa is presented. We formalise its operational semantics and we propose a run time verification mechanism that enforces a notion of non-interference among concurrent threads. More precisely, this mechanism prevents an application from modifying the context so as to dispose some resources or to contradict assumptions upon which other applications rely.
A semantics for disciplined concurrency in COP
Galletta, Letterio
2016-01-01
Abstract
A concurrent extension of the recent COP language MLCoDa is presented. We formalise its operational semantics and we propose a run time verification mechanism that enforces a notion of non-interference among concurrent threads. More precisely, this mechanism prevents an application from modifying the context so as to dispose some resources or to contradict assumptions upon which other applications rely.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
cop2016_main.pdf
non disponibili
Tipologia:
Documento in Pre-print
Licenza:
Nessuna licenza
Dimensione
295.36 kB
Formato
Adobe PDF
|
295.36 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
