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 条

[21] STUDY ON MIXED (ASYNCHRONOUS-SYNCHRONOUS) APPROACH TO A REAL-TIME SYSTEM [J].

ANDRE, C ;

FANCELLI, L .

RAIRO-AUTOMATIQUE-PRODUCTIQUE INFORMATIQUE INDUSTRIELLE-AUTOMATIC CONTROL PRODUCTION SYSTEMS, 1991, 25 (02) :109-140

[22] Strategic joining in an M/M/K queue with asynchronous and synchronous multiple vacations [J].

Wang, Jinting ;

Zhang, Yu ;

Zhang, Zhe George .

JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 2021, 72 (01) :161-179

[23] Exploring effectiveness of team communication Balancing synchronous and asynchronous communication in design teams [J].

den Otter, Ad ;

Emmitt, Stephen .

ENGINEERING CONSTRUCTION AND ARCHITECTURAL MANAGEMENT, 2007, 14 (05) :408-+

[24] Symbolic Modeling of Asynchronous Neural Dynamics Reveals Potential Synchronous Roots for the Emergence of Awareness [J].

Bonzon, Pierre .

FRONTIERS IN COMPUTATIONAL NEUROSCIENCE, 2019, 13

[25] Synchronous or Asynchronous Course: Business Students' Perspectives on an Optimized Modality of Online Teaching and Learning [J].

Wu, Lan ;

You, Jung S. .

JOURNAL OF MARKETING EDUCATION, 2022, 44 (02) :265-284

[26] Synchronous and Asynchronous Communication in Councilor-Citizen Accountability in the Amazonian Municipality of Benjamin Constant, Brazil [J].

Sena da Silva, Rodrigo Christian ;

Almeida Olavo, Antonio Vagner ;

Pinheiro de Andrade, Herbert Cristhiano .

REVISTA CIENCIAS ADMINISTRATIVAS, 2022, 28

[27] Double-Layer Energy Efficient Synchronous-Asynchronous Circuit-Switched NoC [J].

Wasif, Sandy A. ;

Hesham, Salma ;

Goehringer, Diana ;

Hofmann, Klaus ;

Ghany, Mohamed A. Abd El .

ELECTRONICS, 2021, 10 (15)

[28] The effects of computer-mediated synchronous and asynchronous direct corrective feedback on writing: a case study [J].

Shintani, Natsuko .

COMPUTER ASSISTED LANGUAGE LEARNING, 2016, 29 (03) :517-538

[29] Two Sides of the Same Coin: Session Types and Game Semantics A Synchronous Side and an Asynchronous Side [J].

Castellan, Simon ;

Yoshida, Nobuko .

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL)

[30] Comparing job applicant deception in asynchronous vs synchronous video interviews, with and without AI-assisted assessments [J].

Suen, Hung-Yue ;

Hung, Kuo-En .

INFORMATION TECHNOLOGY & PEOPLE, 2025, 38 (02) :963-983

← 1 2 3 4 →