Towards Bidirectional Synchronization Between Communicating Processes and Session Types.
BigComp(2019)
摘要
Session types are a type discipline for eliminating communication errors in concurrent computing. These types can be thought of as a representation of communication protocols implemented by communicating processes. One application scenario that can be naturally supported by session types is semantics-preserving transformation of processes in response to protocol changes due to optimization, evolution, refactoring, etc. Such transformation can be seen as a particular kind of synchronization problem that has long been studied by the bidirectional transformations (BX) community. This short paper offers a preliminary analysis of the process-type synchronization problem in terms of BX, describing the prospects and challenges.
更多查看译文
关键词
Synchronization,Protocols,Lenses,Calculus,Servers,Concurrent computing,Syntactics
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络