The following pages link to Jifeng He (Q207989):
Displaying 16 items.
- (Q4673418) (← links)
- (Q4787253) (← links)
- (Q4934618) (← links)
- The stochastic semantics and verification for periodic control systems (Q5046495) (← links)
- (Q5283016) (← links)
- CSP Is a Retract of CCS (Q5307473) (← links)
- Constructing Property-Oriented Models for Verification (Q5307476) (← links)
- Unifying Probability (Q5307481) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395093) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395108) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395122) (← links)
- (Q5490385) (← links)
- An Observational Model for Transactional Calculus of Services Orchestration (Q5505603) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709380) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709997) (← links)
- An approach to the specification and verification of a hardware compilation scheme (Q5945700) (← links)