Inheritance in the join calculus
- 作者Cédric Fournet; Cosimo Laneve; Luc Maranget; Didier Rémy
- 卷第57卷
- 印刷ISSN1567-8326
- 文件大小578.34KB
- 发表时间2003
- DOI10.1016/s1567-8326(03)00040-7
- 页码23-69
同期刊推荐
Cover 2–Editorial BoardRegulatory Toxicology and Pharmacology · 2012
Table of ContentsRegulatory Toxicology and Pharmacology · 2012
Cover 2–Editorial BoardRegulatory Toxicology and Pharmacology · 2012
Table of ContentsRegulatory Toxicology and Pharmacology · 2012
Cover 2–Editorial BoardRegulatory Toxicology and Pharmacology · 2012
Table of ContentsRegulatory Toxicology and Pharmacology · 2012
Cover 2–Editorial BoardRegulatory Toxicology and Pharmacology · 2013
Table of ContentsRegulatory Toxicology and Pharmacology · 2013