The following pages link to Ling Cheung (Q854166):
Displaying 8 items.
- Switched PIOA: parallel composition via distributed scheduling (Q854167) (← links)
- Analyzing security protocols using time-bounded task-PIOAs (Q1020557) (← links)
- Task-structured probabilistic I/O automata (Q1745718) (← links)
- (Q2847417) (← links)
- Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols (Q3524308) (← links)
- Modeling Computational Security in Long-Lived Systems (Q3541014) (← links)
- A testing scenario for probabilistic processes (Q3546349) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709998) (← links)
