IRIS

Fully abstract trace semantics for low-level isolation mechanisms / Patrignani, Marco; Clarke, Dave. - (2014), pp. 1562-1569. (Intervento presentato al convegno SAC tenutosi a Gyeongju, Republic of Korea nel March 24 - 28, 2014) [10.1145/2554850.2554865].

Fully abstract trace semantics for low-level isolation mechanisms

Patrignani, Marco;
2014-01-01
2014
Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014
Republic of Korea
ACM
2-s2.0-84905653310
Patrignani, Marco; Clarke, Dave
Fully abstract trace semantics for low-level isolation mechanisms / Patrignani, Marco; Clarke, Dave. - (2014), pp. 1562-1569. (Intervento presentato al convegno SAC tenutosi a Gyeongju, Republic of Korea nel March 24 - 28, 2014) [10.1145/2554850.2554865].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/336397
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? ND
social impact