Ling Cheung

From MaRDI portal
Person:854166

Available identifiers

zbMath Open cheung.lingMaRDI QIDQ854166

List of research outcomes





PublicationDate of PublicationType
Task-structured probabilistic I/O automata2018-04-18Paper
Concise graphs and functional bisimulations2013-09-09Paper
Analyzing security protocols using time-bounded task-PIOAs2009-05-29Paper
A testing scenario for probabilistic processes2008-12-21Paper
Modeling Computational Security in Long-Lived Systems2008-11-25Paper
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols2008-09-09Paper
Switched PIOA: parallel composition via distributed scheduling2006-12-07Paper
Theoretical Aspects of Computing - ICTAC 20042005-11-30Paper

Research outcomes over time

This page was built for person: Ling Cheung

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