TY  - RPRT
TI  - A Variety of Request-Response Specifications
AU  - Daichi Aiba
AU  - Masaki Waga
AU  - Hiroya Fujinami
AU  - Koko Muroya
AU  - Shutaro Ouchi
AU  - Naoki Ueda
AU  - Yosuke Yokoyama
AU  - Yuta Wada
AU  - Ichiro Hasuo
PY  - 2025
UR  - https://arxiv.org/abs/2509.13078
ID  - 2509.13078
ER  -