检索结果-南通市图书馆

Barbed Congruence of Asymmetry and Mismatch

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2007年第4期22卷 575-579页

作者：董笑菊傅育熙 BASICS Department of Computer ScienceShanghai Jiao Tong University

The X calculus is a model of concurrent and mobile systems. It emphasizes that communications are information exchanges. In the paper, two constructions are incorporated into the framework of the chi calculus, which are asymmetric communication and mismatch condition widely used in applications. Since the barbed bisimilarity has proved its generality and gained its popularity as an effective approach to generating a reasonable observational equivalence, we study both the operational and algebraic properties of the barbed bisimilarity in this enriched calculus. The investigation supports an improved understanding of the bisimulation behaviors of the model. It also gives a general picture of how the two constructions affect the observational theory.

关键词： axiomatization bisimulation process calculus

Complete Proof Systems for Amortised Probabilistic Bisimulations

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2016年第2期31卷 300-316页

作者： Li-Li Xu Hui-Min Lin State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China University of Chinese Academy of Sciences Beijing 100049 China Ecole P olytechnique P alaiseau 91120 France

The notion of amortisation has been integrated in quantitative bisimulations to make long-term behavioral comparisons between nondeterministic systems. In this paper, we present sound and complete proof systems for amortised strong probabilistic bisimulation and its observational congruence on a process algebra with probability and nondeterminism, and prove their soundness and completeness. Our results make it possible to reason about long-term （observable） probabilistic behaviors by syntactic manipulations.

关键词： axiomatization probabilistic calculus for communication systems (CCS) probabilistic automata amortisedbisimulation

The General Compromise Value for Cooperative Games With Transferable Utility

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2023年第1期36卷 375-392页

作者： SUN Panfei HOU Dongshuang SUN Hao School of Mathematics and Statistics Northwestern Polytechnical UniversityXi’an 710101China

The authors introduce the general compromise value for cooperative games with transferable *** respect to a set of potential payoffs of which the maximal and minimal potential payoff vectors are regarded as the upper and lower bounds for players,the unique pre-imputation lying on the straight line segment with these two vectors as the extreme points is defined as the general compromise ***-consistency and maximal proportional property are introduced to characterize the general compromise value.

关键词： axiomatization compromise value cooperative game solution concept

Barbed congruence of the asymmetric chi calculus

在线全文

学校读者我要写书评

暂无评论

Journal of Harbin Institute of Technology(New Series) 2006年第4期13卷 444-451页

作者：董笑菊傅育熙 BASICS Department of Computer Science and Engineering Shanghai Jiaotong University Bio-X DNA Computer Consortium (BDCC) Shanghai Jiaotong University

The ehi calculus is a model of mobile processes. It has evolved from the pi-calculus with motivations from simplification aml communication-as-cut-eliminatinn. This paper studies the ehi calculus in the framework incorporating asymmetric communication. The major feature of the calculus is the identification of two actions： x/x and τ. The investigalion on the barbed bisimilarity shows how the property affects the observational theory. Based on the definition of the barbed bisimilarity, the simulation properties of the barbed bisimilarity are studied. It shows that the algebraic properties of the barbed bisimiilarity have changed greatly compared with the chi *** the definition of the barbed bisimilarity is very simple, the properly of closeness under contexts makes it difficuh to understand the barbed bisimilarity directly. Therefore an open style definition of the barbed bisimilarity is given, which is a context free description of barbed bisimilarity. Its definition is complex, but it is a well-behaved relation for it coincides with the barbed bisimilarity. It also helps to build an axiomatization system for the bathed congruence. Besides the axioms for the strong barbed bisimilarity, the paper proposes a new tau law and four new update laws for the barbed congruence. Both the operational and algebraic properties of the enriched calculus improve the understanding of the bisimulation behaviors of the model.

关键词： mobile process bisimulation axiomatization