The following pages link to Zong-Yan Qiu (Q1303400):
Displayed 14 items.
- Item:Q1303400 (redirect page) (← links)
- A semantic model of confinement and locality theorem (Q351976) (← links)
- Charged Kerr-NUT metric with Lambda-term and step-by-step extension method (Q1303401) (← links)
- An algebraic hardware/software partitioning algorithm (Q1613267) (← links)
- Confinement framework for encapsulating objects (Q2418639) (← links)
- Exploring optimal solution to hardware/software partitioning for synchronous model (Q2432215) (← links)
- (Q2848461) (← links)
- Modular Reasoning for Message-Passing Programs (Q2938169) (← links)
- WP Semantics and Behavioral Subtyping (Q3105750) (← links)
- Type Safety for FJ and FGJ (Q3525154) (← links)
- (Q4412491) (← links)
- Rely-Guarantee Based Reasoning for Message-Passing Programs (Q4621182) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395122) (← links)
- FM 2005: Formal Methods (Q5716889) (← links)