Fugu-MT 論文翻訳(概要): Mixed Choice in Asynchronous Multiparty Session Types

論文の概要: Mixed Choice in Asynchronous Multiparty Session Types

arxiv url: http://arxiv.org/abs/2602.23927v1
Date: Fri, 27 Feb 2026 11:21:58 GMT
ステータス: 翻訳完了
システム内更新日: 2026-03-02 19:48:24.388864
Title: Mixed Choice in Asynchronous Multiparty Session Types
Title（参考訳）: 非同期多人数セッションタイプにおける混合選択
Authors: Laura Bocchi, Raymond Hu, Adriana Laura Voinea, Simon Thompson,
Abstract要約: 非同期混合選択(MC)を用いたマルチパーティセッションタイプ(MST)フレームワークを提案する。本稿では,分散参加者間のプロトコル状態の過渡的不整合を可能にするMCのコアコンストラクトを提案する。我々は,グローバル型と分散ローカル型プロジェクション間の進捗特性と運用対応を確立することで,システムの正当性を証明した。
参考スコア（独自算出の注目度）: 0.47248250311484113
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We present a multiparty session type (MST) framework with asynchronous mixed choice (MC). We propose a core construct for MC that allows transient inconsistencies in protocol state between distributed participants, but ensures all participants can always eventually reach a mutually consistent state. We prove the correctness of our system by establishing a progress property and an operational correspondence between global types and distributed local type projections. Based on our theory, we implement a practical toolchain for specifying and validating asynchronous MST protocols featuring MC, and programming compliant gen_statem processes in Erlang/OTP. We test our framework by using our toolchain to specify and reimplement part of the amqp_client of the RabbitMQ broker for Erlang.
Abstract（参考訳）: 非同期混合選択(MC)を用いたマルチパーティセッションタイプ(MST)フレームワークを提案する。分散参加者間のプロトコル状態の過渡的不整合を許容するMCのコアコンストラクトを提案する。我々は,グローバル型と分散ローカル型プロジェクション間の進捗特性と運用対応を確立することで,システムの正当性を証明した。本稿では,MCを特徴とする非同期 MST プロトコルの特定と検証,Erlang/OTP で gen_statem プロセスのプログラミングを行うための実用的なツールチェーンを実装した。当社のフレームワークは,Erlang用のRabbitMQブローカのamqp_clientの一部を特定し,再実装するために,ツールチェーンを使用してテストしています。

関連論文リスト

PiTPM: Partially Interactive Signatures for Multi-Device TPM Operations [0.4125187280299247]
本稿では、Schnorrのデジタル署名に基づいて構築されたアグリゲータフレームワークであるPiTPMについて述べる。本プロトコルは,ハイブリッド信頼アーキテクチャを用いた対話的要求を解消する。結果は、TPMベースの暗号システム設計におけるパラダイムシフトの可能性を示している。
論文参考訳（メタデータ） (2026-02-10T12:09:05Z)
Do We Need Asynchronous SGD? On the Near-Optimality of Synchronous Methods [59.72933231179977]
我々はsynchronous SGDとその頑健な変種である$m$-Synchronous SGDを再検討し、多くの異種計算シナリオにおいてほぼ最適であることを示す。同期メソッドは普遍的な解ではなく、非同期メソッドが必要なタスクが存在するが、現代の不均一な計算シナリオの多くに十分であることを示す。
論文参考訳（メタデータ） (2026-02-03T18:02:14Z)
Co-GRPO: Co-Optimized Group Relative Policy Optimization for Masked Diffusion Model [74.99242687133408]
Masked Diffusion Models (MDMs) は、視覚、言語、モーダル・ジェネレーションにまたがる有望な可能性を示している。本稿では,MDM生成をMDP(Markov Decision Process)として再構成し,モデルと推論スケジュールを併用するCo-GRPOを提案する。
論文参考訳（メタデータ） (2025-12-25T12:06:04Z)
Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications [4.08734863805696]
本稿では,軽量な形式仕様から同期モデルを自動的に合成する手法を提案する。我々のアプローチは、グローバルな線形時間制約とともに、分散システムの仕様を入力として受け取ります。同時実行がグローバルな制約を満たすコンポーネント仕様の実行可能なモデルを生成する。
論文参考訳（メタデータ） (2025-02-19T18:54:32Z)
Formal Model Guided Conformance Testing for Blockchains [1.4838910416636741]
本稿では,プロトコルの形式モデルを用いたプロトコル適合性テストを行うフレームワークを提案する。私たちのフレームワークは、トレースジェネレータとチェッカーとしてコンポーネントを使用する2つの補完的なコンポーネントで構成されています。
論文参考訳（メタデータ） (2025-01-15T03:20:13Z)
Validated Strong Consensus Protocol for Asynchronous Vote-based Blockchains [4.79997217554732]
投票ベースのブロックチェーンは、Byzantine Fault Toleranceコンセンサスプロトコルを使用して、ある状態から別の状態へ移行する。本稿では,非同期環境におけるリーダベースの協調を可能にする,強大なBFTコンセンサスモデルを提案する。我々のプロトコルはメッセージの複雑さを大幅に減らし、しきい値のシグネチャに頼ることなく線形ビューの変更を実現する最初のプロトコルです。
論文参考訳（メタデータ） (2024-09-12T15:54:40Z)
Federated Contextual Cascading Bandits with Asynchronous Communication and Heterogeneous Users [95.77678166036561]
繊細な通信プロトコルを用いたUPB型アルゴリズムを提案する。同期フレームワークで達成されたものと同等のサブ線形後悔境界を与えます。合成および実世界のデータセットに関する実証評価は、後悔と通信コストの観点から、我々のアルゴリズムの優れた性能を検証する。
論文参考訳（メタデータ） (2024-02-26T05:31:14Z)
Shadowheart SGD: Distributed Asynchronous SGD with Optimal Time Complexity Under Arbitrary Computation and Communication Heterogeneity [85.92481138826949]
我々は,従来の集中型手法の時間的複雑さを確実に改善する新しい手法であるShadowheart SGDを開発した。また、サーバからワーカーへのブロードキャストが無視できない双方向設定も検討し、対応する方法を開発した。
論文参考訳（メタデータ） (2024-02-07T12:15:56Z)
Generalizable Chain-of-Thought Prompting in Mixed-task Scenarios with Large Language Models [68.05046964022844]
大規模言語モデル(LLM)は、チェーン・オブ・ソート(CoT)のプロンプトを活用することで、顕著な推論機能を明らかにしている。本稿では,入力質問の種類が不明な混合タスクシナリオにおいて,一般化可能なCoTプロンプト機構であるGeM-CoTを提案する。この技術設計により、GeM-CoTは10の公開推論タスクと23のBBHタスクにおいて優れた一般化能力と優れたパフォーマンスを同時に享受する。
論文参考訳（メタデータ） (2023-10-10T15:10:03Z)
Towards Semantic Communication Protocols: A Probabilistic Logic Perspective [69.68769942563812]
我々は,NPMを確率論理型言語ProbLogで記述された解釈可能なシンボルグラフに変換することによって構築された意味プロトコルモデル(SPM)を提案する。その解釈性とメモリ効率を利用して、衝突回避のためのSPM再構成などのいくつかの応用を実演する。
論文参考訳（メタデータ） (2022-07-08T14:19:36Z)
Multi-Agent MDP Homomorphic Networks [100.74260120972863]
協調型マルチエージェントシステムでは、エージェントの異なる構成とそれらの局所的な観察の間に複雑な対称性が生じる。単エージェント強化学習における既存の対称性の研究は、完全に集中した環境にのみ一般化できる。本稿では,ローカル情報のみを用いた分散実行が可能なネットワークのクラスであるマルチエージェントMDPホモモルフィックネットワークを提案する。
論文参考訳（メタデータ） (2021-10-09T07:46:25Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。