Specifying Transactions for Extended Abduction.

Katsumi Inoue, Chiaki Sakama

Browse the full KR paper archive.