Specifying and Verifying Web Transactions
Jing Li
◽
Huibiao Zhu
◽
Jifeng He
Shenoda Guirguis
◽
Mohamed A. Sharaf
◽
Panos K. Chrysanthis
◽
Alexandros Labrinidis
◽
Kirk Pruhs
T. Gschwind
◽
K. Eshghi
◽
P.K. Garg
◽
K. Wurster
Kejun Zhang
◽
Rong Qian
◽
Xiaokun Zhang
◽
Zhixiang Zhu
◽
Geng Zhao
2013 ◽
Vol 8
(6)
◽
pp. 105-118
◽
Tutut Herawan
◽
Wan Maseri Wan Mohd
Radek Tomsu
◽
Samuel Marchal
◽
N. Asokan
2008 ◽
Vol 3
(2)
◽
pp. 147
◽
Darenna Syahida Suib
◽
Mustafa Mat Deris
Zan Sun
◽
Jalal Mahmud
◽
Saikat Mukherjee
◽
I. V. Ramakrishnan