Fully abstract trace semantics for protected module architectures / Patrignani, Marco; Clarke, Dave. - In: COMPUTER LANGUAGES, SYSTEMS & STRUCTURES. - ISSN 1477-8424. - 42:(2015), pp. 22-45. [10.1016/j.cl.2015.03.002]

Fully abstract trace semantics for protected module architectures

Patrignani ,Marco;
2015-01-01

2015
Patrignani, Marco; Clarke, Dave
Fully abstract trace semantics for protected module architectures / Patrignani, Marco; Clarke, Dave. - In: COMPUTER LANGUAGES, SYSTEMS & STRUCTURES. - ISSN 1477-8424. - 42:(2015), pp. 22-45. [10.1016/j.cl.2015.03.002]
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/336515
 Attenzione

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

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