On the validity of encodings of the synchronous in the asynchronous π-calculus

被引：2

作者：

van Glabbeek, Rob J. ^{[1
,2
]}

机构：

[1] CSIRO, Data61, Sydney, NSW, Australia

[2] Univ New South Wales, Sch Comp Sci & Engn, Sydney, NSW, Australia

来源：

INFORMATION PROCESSING LETTERS | 2018年 / 137卷

关键词：

Concurrency; Process calculi; Expressiveness; Quality criteria for encodings; pi-calculus; IN-PROCESS CALCULI; MOBILE PROCESSES; LEADER ELECTION; EXPRESSIVENESS; COMMUNICATION; PERSISTENCE; SEPARATION; LINEARITY; SYSTEMS; CHOICE;

D O I：

10.1016/j.ipl.2018.04.015

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Process calculi may be compared in their expressive power by means of encodings between them. A widely accepted definition of what constitutes a valid encoding for (dis)proving relative expressiveness results between process calculi was proposed by Gorla. Prior to this work, diverse encodability and separation results were generally obtained using distinct, and often incompatible, quality criteria on encodings. Textbook examples of valid encoding are the encodings proposed by Boudol and by Honda & Tokoro of the synchronous choice-free pi-calculus into its asynchronous fragment, illustrating that the latter is no less expressive than the former. Here I formally establish that these encodings indeed satisfy Gorla's criteria. (C) 2018 Elsevier B.V. All rights reserved.

引用

页码：17 / 25

页数：9

共 38 条

[31] Robust fuzzy predictive switching control for nonlinear multi-phase batch processes with synchronous vs asynchronous cases [J].

Peng, Bo ;

Shi, Huiyuan ;

Su, Chengli ;

Li, Ping ;

Li, Zhiwu .

INFORMATION SCIENCES, 2023, 647

[32] Event-Synchronous Time-Asynchronous Method for Controller HIL Simulation of 10 kVA Modular Multilevel Converters [J].

Zeng, Yangbin ;

Zheng, Jialin ;

Zhao, Zhengming ;

Liu, Weicheng ;

Wang, Zuoxing ;

Li, Hong .

IEEE TRANSACTIONS ON POWER ELECTRONICS, 2023, 38 (08) :9351-9357

[33] How the Education Industries React to Synchronous and Asynchronous Learning in COVID-19: Multigroup Analysis Insights for Future Online Education [J].

Persada, Satria Fadil ;

Prasetyo, Yogi Tri ;

Suryananda, Xabitha Vanessa ;

Apriyansyah, Bahalwan ;

Ong, Ardvin K. S. ;

Nadlifatin, Reny ;

Setiyati, Etsa Astridya ;

Putra, Raden Aditya Kristamtomo ;

Purnomo, Agung ;

Triangga, Bigraf ;

Siregar, Nazaria Jotur ;

Carolina, Donna ;

Maulana, Fairuz Iqbal ;

Ardiansyahmiraja, Bobby .

SUSTAINABILITY, 2022, 14 (22)

[34] Synchronous versus asynchronous manipulation of 2D-objects in distributed design collaborations: Implications for the support of distributed team processes [J].

Rahman, Novi ;

Cheng, Ruo ;

Bayerl, Petra Saskia .

DESIGN STUDIES, 2013, 34 (03) :406-431

[35] Benefits and challenges of online collaborative learning from the perspectives of non-traditional event management students: a comparison between asynchronous and synchronous learning [J].

Jung, Shinyong ;

Shin, Hhye Won ;

Gohary, Ali ;

Chan, Eugene Y. .

JOURNAL OF TEACHING IN TRAVEL & TOURISM, 2023, 23 (02) :109-129

[36] Scaling of a Large-Scale Simulation of Synchronous Slow-Wave and Asynchronous Awake-Like Activity of a Cortical Model With Long-Range Interconnections [J].

Pastorelli, Elena ;

Capone, Cristiano ;

Simula, Francesco ;

Sanchez-Vives, Maria V. ;

Del Giudice, Paolo ;

Mattia, Maurizio ;

Paolucci, Pier Stanislao .

FRONTIERS IN SYSTEMS NEUROSCIENCE, 2019, 13

[37] Fostering self-regulated learning using synchronous or asynchronous digital learning environments: a latent profile analysis of pre-service teachers' individual differences [J].

Barz, Nathalie ;

Benick, Manuela ;

Doerrenbaecher-Ulrich, Laura ;

Perels, Franziska .

FRONTIERS IN EDUCATION, 2024, 9

[38] Tautomerism of quinazolin-4-ones with 2,3-annulated hydrogenated 1,3-diazaheterocycles. Synchronous and asynchronous double proton transfer in cyclic hydrogen-bonded associates [J].

Morkovnik, A. S. ;

Divaeva, L. N. .

RUSSIAN CHEMICAL BULLETIN, 2009, 58 (05) :883-895

← 1 2 3 4 →