Representing imperative language in higher-order action calculus

被引：0

|

作者：

Jin, Ying

Jin, Cheng-Zhi

机构：

来源：

| 2002年 / Science Press卷 / 39期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[21] The M-calculus: A higher-order distributed process calculus
Schmitt, A
Stefani, JB
ACM SIGPLAN NOTICES, 2003, 38 (01) : 50 - 61
[22] From higher-order π-calculus to π-calculus in the presence of static operators
Vivas, JL
Dam, M
CONCUR'98: CONCURRENCY THEORY, 1998, 1466 : 115 - 130
[23] Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems
Xu, Xian
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 24 (01) : 122 - 137
[24] Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems
Xian Xu
Journal of Computer Science and Technology, 2009, 24 : 122 - 137
[25] Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems
徐贤
JournalofComputerScience&Technology, 2009, 24 (01) : 122 - 137
[26] CONTEXTUAL EQUIVALENCE FOR HIGHER-ORDER π-CALCULUS REVISITED
Jeffrey, Alan
Rathke, Julian
LOGICAL METHODS IN COMPUTER SCIENCE, 2005, 1 (01)
[27] A core calculus of higher-order mixins and classes
Bettini, L
Bono, V
Likavec, S
TYPES FOR PROOFS AND PROGRAMS, 2004, 3085 : 83 - 98
[28] A Higher-Order Distributed Calculus with Name Creation
Pierard, Adrien
Sumii, Eijiro
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 531 - 540
[29] A higher-order duration calculus and its completeness
Zhan, NJ
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 2000, 43 (06): : 625 - 640
[30] Encodability and Separation for a Reflective Higher-Order Calculus
Lybech, Stian
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (368): : 95 - 112

← 1 2 3 4 5 →