Ling Cheung
From MaRDI portal
Person:854166
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Task-structured probabilistic I/O automata Journal of Computer and System Sciences | 2018-04-18 | Paper |
| Concise graphs and functional bisimulations | 2013-09-09 | Paper |
| Analyzing security protocols using time-bounded task-PIOAs Discrete Event Dynamic Systems | 2009-05-29 | Paper |
| A testing scenario for probabilistic processes Journal of the ACM | 2008-12-21 | Paper |
| Modeling Computational Security in Long-Lived Systems CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
| Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols Lecture Notes in Computer Science | 2008-09-09 | Paper |
| Switched PIOA: parallel composition via distributed scheduling Theoretical Computer Science | 2006-12-07 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 Lecture Notes in Computer Science | 2005-11-30 | Paper |
Research outcomes over time
This page was built for person: Ling Cheung
