Synchronization operator for communication privacy
Pages 1284 - 1290
Abstract
There exist situations in which the communication via public channels should not reveal the identity of the participants. We define a process calculus able to control such a communication by using a specific synchronization operator working over a given set of channels. This operator is inspired by existing protocols in which one process has to collect and combine the information received from several processes. To control the interaction, we define a typing system and show that it fulfills the type preservation under equivalence and reduction.
References
[1]
Jos C. M. Baeten and W. P. Weijland. 1990. Process algebra. Cambridge tracts in theoretical computer science, Vol. 18. Cambridge University Press.
[2]
Stephen D. Brookes, C. A. R. Hoare, and A. W. Roscoe. 1984. A Theory of Communicating Sequential Processes. Journal of the ACM 31 (1984), 560--599.
[3]
Ugo de'Liguoro and Luca Padovani. 2018. Mailbox Types for Unordered Interactions. In 32nd European Conference on Object-Oriented Programming, ECOOP. 15:1--15:28.
[4]
Hubert Garavel, Frédéric Lang, and Wendelin Serwe. 2017. From LOTOS to LNT. In ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma (Lecture Notes in Computer Science), Joost-Pieter Katoen, Rom Langerak, and Arend Rensink (Eds.), Vol. 10500. Springer, 3--26.
[5]
Roberto Gorrieri and Cristian Versari. 2015. Introduction to Concurrency Theory - Transition Systems and CCS. Springer.
[6]
C.A.R. Hoare. 1978. Communicating Sequential Processes. Communications of the ACM (CACM) 21 (1978), 666--677.
[7]
Samuel Hym and Matthew Hennessy. 2007. Adding recursion to Dpi. Theoretical Computer Science 373 (2007), 182--212.
[8]
Atsushi Igarashi and Naoki Kobayashi. 2004. A generic type system for the π-calculus. Theoretical Computer Science 311 (2004), 121--163.
[9]
Leslie Lamport. 1979. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. IEEE Trans. Comput. 28 (1979), 690--691.
[10]
Robin Milner. 1989. Communication and concurrency. Prentice Hall.
[11]
Robin Milner. 1999. Communicating and mobile systems - the π-calculus. Cambridge University Press.
[12]
Emilio Tuosto and Roberto Guanciale. 2018. Semantics of global view of choreographies. Journal of Logic and Algebraic Methods in Programming 95 (2018), 17--40.
Index Terms
- Synchronization operator for communication privacy
Recommendations
Synchronization protocols for reliable communication in fully distributed agent systems
AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3In order to prevent misunderstandings within groups of interacting agents, it is necessary to ensure that the agents' beliefs regarding the overall state of the interaction are consistent with each other at all times. In [7], Paurobally et al. proposed ...
Optimizing the Synchronization Operations in Message Passing Interface One-Sided Communication
One-sided communication in Message Passing Interface (MPI) requires the use of one of three different synchronization mechanisms, which indicate when the one-sided operation can be started and when the operation is completed. Efficient implementation of ...
Chaining Clock Synchronization: An Energy-Efficient Clock Synchronization Scheme for Wireless Sensor Networks
ISPAN '09: Proceedings of the 2009 10th International Symposium on Pervasive Systems, Algorithms, and NetworksSince WSNs have restricted energy sources, the energy efficiency of a synchronization scheme is as important as the accuracy of a clock. To accomplish both the energy efficiency and the accuracy, we propose a new clock synchronization scheme called ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
April 2022
2099 pages
ISBN:9781450387132
DOI:10.1145/3477314
- Conference Chairs:
- Jiman Hong,
- Miroslav Bures,
- Program Chairs:
- Juw Won Park,
- Tomas Cerny
Copyright © 2022 Owner/Author.
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 06 May 2022
Check for updates
Author Tags
Qualifiers
- Poster
Conference
SAC '22
Sponsor:
Acceptance Rates
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%
Upcoming Conference
SAC '25
- Sponsor:
- sigapp
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 15Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 31 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in