セションプロトコル機械 きかいであれば
se shompurotokorukikaideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of セションプロトコル機械

1. If it were a session protocol machine.; If it is a session protocol machine.

Ba Conditional
Computing