Publications

@inproceedings{Algorand22,

title = {Distributed and Adversarial Adversary Workflow Execution on Algorand Blockchain},

author = {Yibin Xu and Tijs Slaats and Boris Düdder and Søren Debois and Haiqin Wu},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

booktitle = {6th International Workshop on Trusted Smart Contracts (WTSC)},

journal = {LNCS},

publisher = {Springer},

keywords = {Blockchain, BPM, Distributed, Distributed Ledger Technology, Workflow},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BDHR16a,

title = {Combinatory Process Synthesis},

author = {Jan Bessai and Boris Düdder and George T. Heineman and Jakob Rehof},

editor = {Tiziana Margaria and Bernhard Steffen},

year  = {2016},

date = {2016-01-01},

booktitle = {Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},

journal = {LNCS},

volume = {9952},

pages = {268--283},

keywords = {Combinatory Logic, Process Synthesis, Program Synthesis, Type theory, Workflow},

pubstate = {published},

tppubtype = {inproceedings}

}