Monitoring Blackbox Implementations of Multiparty Session Protocols
Authors:
Bas van den Heuvel,
Jorge A. Pérez,
Rares A. Dobre
Abstract:
We present a framework for the distributed monitoring of networks of components that coordinate by message-passing, following multiparty session protocols specified as global types. We improve over prior works by (i) supporting components whose exact specification is unknown ("blackboxes") and (ii) covering protocols that cannot be analyzed by existing techniques. We first give a procedure for syn…
▽ More
We present a framework for the distributed monitoring of networks of components that coordinate by message-passing, following multiparty session protocols specified as global types. We improve over prior works by (i) supporting components whose exact specification is unknown ("blackboxes") and (ii) covering protocols that cannot be analyzed by existing techniques. We first give a procedure for synthesizing monitors for blackboxes from global types, and precisely define when a blackbox correctly satisfies its global type. Then, we prove that monitored blackboxes are sound (they correctly follow the protocol) and transparent (blackboxes with and without monitors are behaviorally equivalent).
△ Less
Submitted 3 October, 2023; v1 submitted 7 June, 2023;
originally announced June 2023.
Development of proton beam irradiation system for the NA65/DsTau experiment
Authors:
Shigeki Aoki,
Akitaka Ariga,
Tomoko Ariga,
Nikolaos Charitonidis,
Sergey Dmitrievsky,
Radu Dobre,
Elena Firu,
Yury Gornushkin,
Ali Murat Guler,
Daiki Hayakawa,
Koichi Kodama,
Masahiro Komatsu,
Umut Kose,
Madalina Mihaela Miloi,
Manato Miura,
Mitsuhiro Nakamura,
Toshiyuki Nakano,
Alina-Tania Neagu,
Toranosuke Okumura,
Canay Oz,
Hiroki Rokujo,
Osamu Sato,
Svetlana Vasina,
Junya Yoshida,
Masahiro Yoshimoto
, et al. (1 additional authors not shown)
Abstract:
Tau neutrino is the least studied lepton of the Standard Model (SM). The NA65/DsTau experiment targets to investigate $D_s$, the parent particle of the $ν_τ$, using the nuclear emulsion-based detector and to decrease the systematic uncertainty of $ν_τ$ flux prediction from over 50% to 10% for future beam dump experiments. In the experiment, the emulsion detectors are exposed to the CERN SPS 400 Ge…
▽ More
Tau neutrino is the least studied lepton of the Standard Model (SM). The NA65/DsTau experiment targets to investigate $D_s$, the parent particle of the $ν_τ$, using the nuclear emulsion-based detector and to decrease the systematic uncertainty of $ν_τ$ flux prediction from over 50% to 10% for future beam dump experiments. In the experiment, the emulsion detectors are exposed to the CERN SPS 400 GeV proton beam. To provide optimal conditions for the reconstruction of interactions, the protons are required to be uniformly distributed over the detector's surface with an average density of $10^5~\rm{cm^{-2}}$ and the fluctuation of less than 10%. To address this issue, we developed a new proton irradiation system called the target mover. The new target mover provided irradiation with a proton density of $0.98~\rm{cm^{-2}}$ and the density fluctuation of $2.0\pm 0.3$% in the DsTau 2021 run.
△ Less
Submitted 3 April, 2024; v1 submitted 23 March, 2023;
originally announced March 2023.