Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
CrossRef.
Bahr, Patrick
Berthold, Jost
and
Elsman, Martin
2015.
Certified symbolic management of financial multi-party contracts.
ACM SIGPLAN Notices,
Vol. 50,
Issue. 9,
p.
315.
Bahr, Patrick
Berthold, Jost
and
Elsman, Martin
2015.
Certified symbolic management of financial multi-party contracts.
p.
315.
Biryukov, Alex
Khovratovich, Dmitry
and
Tikhomirov, Sergei
2017.
Financial Cryptography and Data Security.
Vol. 10323,
Issue. ,
p.
453.
Egelund-Müller, Benjamin
Elsman, Martin
Henglein, Fritz
and
Ross, Omri
2017.
Automated Execution of Financial Contracts on Blockchains.
Business & Information Systems Engineering,
Vol. 59,
Issue. 6,
p.
457.
Finkbeiner, Bernd
Klein, Felix
Piskac, Ruzica
and
Santolucito, Mark
2017.
Vehicle Platooning Simulations with Functional Reactive Programming.
p.
43.
Nalinda, Chamin
and
Keppitiyagama, Chamath
2017.
Domain specific language for specifying operations of a central counterparty.
p.
1.
Egelund-M ller, Benjamin
Elsman, Martin
Henglein, Fritz
and
Ross, Omri
2017.
Automated Execution of Financial Contracts on Blockchains.
SSRN Electronic Journal ,
Pope, Jeremy
Saget, Jules
and
Seger, Carl-Johan H.
2020.
Cephalopode: A custom processor aimed at functional language execution for IoT devices.
p.
1.
Discussions
No Discussions have been published for this article.