Progetti e attività di Gorla, Daniele

Quantified Information Flow for Process Algebras.
Grant della Royal Society (UK) per scambi bilaterali tra “La Sapienza” ed il “Kings College” di Londra.