http://reply.papertrans.cn/2/101/10036/10036-31.png
http://reply.papertrans.cn/2/101/10036/10036-32.png
Submitted on: 04 January 2022.
Revised on: 29 March 2022.
Accepted on: 27 April 2022.
___________________FORMAL ASPECTS OF COMPUTING---ASSOC COMPUTING MACHINERY
Submitted on: 18 June 2024.
Revised on: 23 September 2024.
Accepted on: 27 October 2024.
___________________FORMAL ASPECTS OF COMPUTING---ASSOC COMPUTING MACHINERY
Submitted on: 11 March 2008.
Revised on: 30 April 2008.
Accepted on: 06 June 2008.
___________________FORMAL ASPECTS OF COMPUTING---ASSOC COMPUTING MACHINERY
Submitted on: 08 February 2017.
Revised on: 17 March 2017.
Accepted on: 28 March 2017.
___________________FORMAL ASPECTS OF COMPUTING---ASSOC COMPUTING MACHINERY