CV Bîrjoveanu, M Bîrjoveanu - … , ICETE 2020, Online Event, July 8–10 …, 2021 - Springer
The multi-chained complex transactions protocol from [4] is build around the chained
transactions protocol. So, the formal proof of multi-chained complex transactions protocol …