Submitted on: 21 March 2001.
Revised on: 20 June 2001.
Accepted on: 10 August 2001.
___________________FORMAL ASPECTS OF COMPUTING---ASSOC COMPUTING MACHINERY
Submitted on: 06 May 2018.
Revised on: 04 June 2018.
Accepted on: 25 July 2018.
___________________FORMAL ASPECTS OF COMPUTING---ASSOC COMPUTING MACHINERY
Submitted on: 31 January 2020.
Revised on: 20 May 2020.
Accepted on: 14 June 2020.
___________________FORMAL ASPECTS OF COMPUTING---ASSOC COMPUTING MACHINERY
http://reply.papertrans.cn/2/101/10036/10036-14.png
Submitted on: 02 April 2016.
Revised on: 04 May 2016.
Accepted on: 05 June 2016.
___________________FORMAL ASPECTS OF COMPUTING---ASSOC COMPUTING MACHINERY
Submitted on: 15 January 2012.
Revised on: 06 March 2012.
Accepted on: 21 March 2012.
___________________FORMAL ASPECTS OF COMPUTING---ASSOC COMPUTING MACHINERY
http://reply.papertrans.cn/2/101/10036/10036-17.png
Submitted on: 03 April 2004.
Revised on: 06 May 2004.
Accepted on: 27 June 2004.
___________________FORMAL ASPECTS OF COMPUTING---ASSOC COMPUTING MACHINERY
http://reply.papertrans.cn/2/101/10036/10036-19.png
http://reply.papertrans.cn/2/101/10036/10036-20.png