Noninterference Security in Communicating Sequential Processes

From MaRDI portal


MaRDI QIDQ7361632FDO


Authors Pasquale Noce

Publication date 23 May 2014






Cited in
(1)


This page was built for software: Noninterference Security in Communicating Sequential Processes

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Noninterference_Security_in_Communicating_Sequential_Processes&oldid=105367817"
Powered by MediaWiki