云南高校图书馆联盟文献共享服务平台- Π-CALCULUS

Π-CALCULUS: 作品数：21被引量：14H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：缪淮扣何涛钱忠胜颜锋韩婷婷更多>>; 相关机构：上海大学浙江大学南京大学更多>>; 相关期刊：《Journal of Southeast University(English Edition)》《Journal of Artificial Intelligence and Technology》《Wuhan University Journal of Natural Sciences》《Journal of Donghua University(English Edition)》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划广西壮族自治区自然科学基金更多>>

Explainable Artificial Intelligence for Workflow Verification in Visual IoT/Robotics Programming Language Environment被引量：3: 《Journal of Artificial Intelligence and Technology》2021年第1期21-27,共7页Gennaro De Luca Yinong Chen; supported by general funding at IoT and Robotics Education Lab and FURI program at Arizona State University.; Teaching students the concepts behind computational thinking is a difficult task,often gated by the inherent difficulty of programming languages.In the classroom,teaching assistants may be required to interact with st...; 关键词：explainable AI Π-CALCULUS VIPLE education

Threat-Based Declassification and Endorsement for Mobile Computing被引量：2: 《Chinese Journal of Electronics》2019年第5期1041-1052,共12页YIN Lihua GUO Yunchuan ZHANG Huibing HUANG Wenting FANG Binxing; supported by the National High Technology Research and Development Program(No.2015AA016007);National Natural Science Foundation of China(No.61672515,No.61662013);Guangxi Natural Science Foundation(No.2017GXNSFAA198372); Declassification and endorsement can efficiently improve the usability of mobile applications.However, both declassify and endorse operations in practice are often ad-hoc and nondeterministic, thus, being insecure. Fr...; 关键词：Declassification ENDORSEMENT THREAT ASSESSMENT MOBILE COMPUTING Π-CALCULUS

Extension of π-Calculus with Interval Action Prefixes: 《Chinese Journal of Electronics》2016年第5期848-857,共10页LUO Ling DUAN Zhenhua TIAN Cong; supported by the National Natural Science Foundation of China(No.61133001,No.61322202,No.61420106004,No.91418201); This paper presents an extension of π-calculus, named p-π, with interval action prefixes. The syntax and operational semantics of p-π are formalized, and the algebraic and time-dependent properties are defined.Base...; 关键词：π-Calculus Process algebra Interval action prefixes Specification Verification

How faithfully can π be interpreted in SA?: 《Science China(Information Sciences)》2013年第3期78-92,共15页LONG Huan FU YuXi; supported by National Natural Science Foundation of China(Grant No.61033002,60903020);Science and Technology Commission of Shanghai Municipality(STCSM)(Grant No.11XD1402800); The π calculus and the safe ambient calculus are two of the widely studied variants of process calculi in the field of concurrency theory. The former is the most classic model for mobile processes and the latter is w...; 关键词：ENCODING EXPRESSIVENESS synchronous π-calculus safe ambients

Process Passing Calculus,Revisited: 《Journal of Shanghai Jiaotong university(Science)》2013年第1期29-36,共8页尹强龙环; the National Natural Science Foundation of China(Nos.61033002,60903020,61202023);the Science and Technology Commission of Shanghai Municipality(No.11XD1402800); In the context of process calculi, higher order π calculus （A calculus） is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, ...; 关键词：higher order π-calculus encoding EXPRESSIVENESS BISIMULATION

A Service-Oriented Architecture of Cyber-Physical System and Study on Two Key Issues被引量：1: 《Journal of Donghua University(English Edition)》2012年第4期299-304,共6页王鹏向阳张骐; National High-Tech Research and Development Programs of China( 863 Program) ( No. 2011AA010101,No. 2012AA062203) ;National Natural Science Foundation of China ( No. 61103069 ) ;Key Research Project of Shanghai Science and Technology Committee,China( No. 10dz1122600); As the basis of designing and implementing a cyber-physical system (CPS), architecture research is very important but still at preliminary stage. Since CPS includes physical components, time and space constraints seri...; 关键词：cyber-physical system (CPS) SERVICE-ORIENTED ARCHITECTURE two-way time SYNCHRONIZATION space-π-calculus

Finite Axiomatization for Symbolic Probabilistic π-Calculus: 《Journal of Shanghai Jiaotong university(Science)》2009年第5期536-541,共6页宋磊邓玉欣; the National Basic Research Program (973) of China (No.2003CB317005);the National Nature Science Foundation of China (Nos.60573002 and 60703033); This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu,Palamidessi and Lin.We provide inference sys...; 关键词：probabilistic process calculus AXIOMATIZATION symbolic bisimulation

Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems: 《Journal of Computer Science & Technology》2009年第1期122-137,共16页徐贤; supported by the National Basic Research 973 Program of China under Grant No.2003CB317005;the National Natural Science Foundation of China under Grant Nos.60473006 and 60573002;the National Research Foundation for the Doctoral Program of Higher Education of China Research Fund under Grant No.20010248033.; In the study of process calculi, encoding between different calculi is an effective way to compare the expressive power of calculi and can shed light on the essence of where the difference lies. Thomsen and Sangiorgi ...; 关键词：process calculus higher order BISIMULATION encoding full abstraction

Petri nets semantics ofπ-calculus: 《Frontiers of Electrical and Electronic Engineering in China》2008年第3期290-294,共5页Zhenhua YU Yuanli CAI Haiping XU; As π-calculus based on the interleaving semantics cannot depict the true concurrency and has few supporting tools,it is translated into Petri nets.π-calculus is divided into basic elements,sequence,concurrency,choic...; 关键词：Petri nets Π-CALCULUS CONCURRENCY structual characteristics ANALYSIS

Process View of Reflection Mechanism for Reuse Software Architecture: 《Wuhan University Journal of Natural Sciences》2007年第3期431-436,共6页LIANG Zaoqing YING Shi XIE Dan JIA Xiangyang; Supported by the National Natural Science Foundation of China (60473066);Young Outstanding Talent Foundation of Hubei Province,China(2003ABB004); Reflection mechanism for reuse software architecture （RMRSA） divides a software architecture into base-level architecture and meta-level architecture logically. Base-level architecture is the ordinary architecture; ...; 关键词：Π-CALCULUS reflection software architecture for reuse （RMRSA） PROCESS

Π-CALCULUS