A Variety of Request-Response Specifications. - Daichi Aiba; Masaki Waga; Hiroya Fujinami; Koko Muroya; Shutaro Ouchi; Naoki Ueda; Yosuke Yokoyama; Yuta Wada; Ichiro Hasuo (CoRR, 2025)