Towards Information Flow Properties for Distributed Systems / R.Gorrieri; F. Martinelli; I. Matteucci. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 236:(2009), pp. 65-84. (Intervento presentato al convegno 3rd International Workshop on Views On Designing Complex Architectures (VODCA 2008) tenutosi a Bertinoro, Italy nel 30-31 August 2008) [10.1016/j.entcs.2009.03.015].
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.