共 50 条
- [31] Semantic subtyping for the π-calculus LICS 2005: 20TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE - PROCEEDINGS, 2005, : 92 - 101
- [38] Denotational semantics of subtyping Tien Tzu Hsueh Pao/Acta Electronica Sinica, 1999, 27 (08): : 46 - 51