Main.bib

% -- a --------------------------------------------------------------
@misc{Andrews2003:BPEL,
    title       ={Business process execution language for web services},
    author      ={Andrews, Tony and Curbera, Francisco and Dholakia, Hitesh and Goland, Yaron and Klein, Johannes and Leymann, Frank and Liu, Kevin and Roller, Dieter and Smith, Doug and Thatte, Satish and others},
    year={2003},
}


@inproceedings{Agha92:ActorTheory,
  author    = {Gul Agha and
               Ian A. Mason and
               Scott F. Smith and
               Carolyn L. Talcott},
  title     = {Towards a Theory of Actor Computation},
  booktitle = {International Conference on Concurrency Theory (CONCUR)},
  year      = {1992}
}


@inproceedings{Agha1993:ActorSpace,
 title          = {{ActorSpace: an open distributed programming paradigm}},
 author         = {Agha, Gul and Callsen, Christian J},
 booktitle      = {Principles and Practice of Parallel Programming (PPoPP) },
 year           = {1993},
 publisher      = {ACM}
}


@article{Aref1998:LanaMatch,
 title          = {{The Lana--Match algorithm: a parallel version of the Rete--Match algorithm}},
 author         = {Aref, Mostafa M and Tayyib, Mohammed A},
 journal        = {Parallel Computing},
 volume         = {24},
 number         = {5-6},
 year           = {1998},
 publisher      = {Elsevier}
}


@article{Atzei2017:BitcoinTransactions,
  author    = {Nicola Atzei and
               Massimo Bartoletti and
               Stefano Lande and
               Roberto Zunino},
  title     = {{A formal model of Bitcoin transactions}},
  journal   = {{IACR} Cryptology ePrint Archive},
  year      = {2017}
}


@misc{Adjoint2019:FCL,
 title          = {{Financial Core Language (FCL)}},
 publisher      = {Adjoint},
 howpublished   = {\url{https://www.adjoint.io/docs/workflows.html}},
 note           = {Accessed: 2019-04-27}}
}


@inproceedings{Abadi1999:DCC,
 title          = {A core calculus of dependency},
 author         = {Abadi, Mart{\'\i}n and Banerjee, Anindya and Heintze, Nevin and  Riecke, Jon G},
 booktitle      = {Principles of Programming Languages (POPL)},
 year           = {1999},
}

@article{Abadi2007:AccessControl,
 title          = {Access control in a core calculus of dependency},
 author         = {Abadi, Mart{\'\i}n},
 journal        = {Electronic Notes in Theoretical Computer Science},
 volume         = {172},
 year           = {2007},
 publisher      = {Elsevier}
}


@inproceedings{Androulaki2018:Fabric,
 title          = {{Hyperledger Fabric: a distributed operating system for permissioned blockchains}},
 author         = {Androulaki, Elli and Barger, Artem and Bortnikov, Vita and Cachin, Christian and Christidis, Konstantinos and De Caro, Angelo and Enyeart, David and Ferris, Christopher and Laventman, Gennady and Manevich, Yacov and others},
 booktitle      = {Proceedings of the Thirteenth EuroSys Conference},
 year           = {2018},
 organization   = {ACM}
}

% -- b --------------------------------------------------------------
@article{Balzarotti2007:LighTS,
 title          = {The LighTS tuple space framework and its customization for context-aware applications},
 author         = {Balzarotti, Davide and Costa, Paolo and Picco, Gian Pietro},
 journal        = {Web Intelligence and Agent Systems: An International Journal},
 volume         = {5},
 number         = {2},
 year           = {2007},
 publisher      = {IOS Press}
}


@article{Berry1992:Chemical,
 title          = {The Chemical Abstract Machine},
 author         = {Berry, G{\'e}rard and Boudol, G{\'e}rard},
 journal        = {Theoretical Computer Science},
 volume         = {96},
 number         = {1},
 year           = {1992},
}


@inproceedings{Bowers2007:Consumable,
 title          = {Consumable credentials in logic-based access-control systems},
 author         = {Bowers, Kevin D and Bauer, Lujo and Garg, Deepak and Pfenning, Frank     and Reiter, Michael K},
 booktitle      = {Annual Network and Distributed System Security Symposium},
 year           = {2007}
}


@inproceedings{Bowe2018:MultiParty,
  title         ={A multi-party protocol for constructing the public parameters of the Pinocchio zk-SNARK},
  author        ={Bowe, Sean and Gabizon, Ariel and Green, Matthew D},
  booktitle     ={International Conference on Financial Cryptography and Data Security},
  year          ={2018}
}

@article{Busi2003:SecSpaces,
 title          = {{SecSpaces}: a Data-driven Coordination Model for Environments Open to Untrusted Agents},
 author         = {Busi, Nadia and Gorrieri, Roberto and Lucchi, Roberto and Zavattaro, Gianluigi},
 journal        = {Electronic Notes in Theoretical Computer Science},
 volume         = {68},
 number         = {3},
 year           = {2003},
 publisher      = {Elsevier}
}


% -- c --------------------------------------------------------------
@inproceedings{Cedric1996:Reflexive,
    title       = {{The reflexive CHAM and the join-calculus}},
    author      = {Cedric Fournet and Georges Gonthier},
    booktitle   = {Principles of Programming Languages (POPL)},
    year        = {1996}
}


@article{Ciancarini1993:Coordinating,
 title          = {{Coordinating rule-based software processes with ESP}},
 author         = {Ciancarini, Paolo},
 journal        = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
 volume         = {2},
 number         = {3},
 year           = {1993},
 publisher      = {ACM}
}


@article{Ciancarini1994:LogicTupleSpaces,
 title          = {Distributed programming with logic tuple spaces},
 author         = {Ciancarini, Paolo},
 journal        = {New Generation Computing},
 volume         = {12},
 number         = {3},
 year           = {1994},
 publisher      = {Springer}
}


@techreport{Colombo2011:Compensating,
 title          = {A compensating transaction example in twelve notations},
 author         = {Colombo, Christian and Pace, Gordon J},
 year           = {2011},
 institution    = {Technical Report CS2011-01, Department of Computer Science, University of Malta}
}


% -- d --------------------------------------------------------------
@article{Das2019:Resource,
 title          = {Resource-Aware Session Types for Digital Contracts},
 author         = {Das, Ankush and Balzer, Stephanie and Hoffmann, Jan and Pfenning, Frank},
 journal        = {arXiv preprint arXiv:1902.06056},
 year           = {2019}
}


@misc{Deon2019:CSL,
 title          = {{CSL} Language Guide Documentation, Release v0.30.0},
 howpublished   = {\url{https://deondigital.com/docs/v0.30.0/cslguide.pdf}},
 publisher      = {Deon Digital}
}


@misc{DA2019:DAML,
 title          = {{DAML} {SDK} Documentation},
 howpublished   = {\url{https://docs.daml.com/index.html}},
 publisher      = {Digital Asset},
 note           = {Accessed: 2019-04-27}
}


@techreport{Doorenbos1995:ProductionMatching,
 title          = {Production Matching for Large Learning Systems.},
 author         = {Doorenbos, Robert B},
 year           = {1995},
 institution    = {Carnegie-Mellon University}
}


@misc{Docker2019,
 title          = {{The Docker website}},
 howpublished   = {\url{https://www.docker.com/}},
 note           = {Accessed: 2019-05-03},
}


% -- f --------------------------------------------------------------
@book{Fahland2005:SemanticsBPEL,
 title          = {Complete abstract operational semantics for the web service business process execution language},
 author         = {Fahland, Dirk},
 year           = {2005},
 publisher      = {Humboldt-Universit{\"a}t zu Berlin}
}

@inproceedings{Findler2002:Contracts,
 title          = {Contracts for higher-order functions},
 author         = {Findler, Robert Bruce and Felleisen, Matthias},
 booktitle      = {ACM SIGPLAN Notices},
 volume         = {37},
 number         = {9},
 year           = {2002},
 organization   = {ACM}
}


@techreport{Forgy1981:OPS5,
 title          = {{OPS5} user's manual},
 author         = {Forgy, Charles L},
 year           = {1981},
 institution    = {Carnegie-Mellon University}
}


@incollection{Forgy1981:RETE,
 title          = {Rete: A fast algorithm for the many pattern/many object pattern match problem},
 author         = {Forgy, Charles L},
 booktitle      = {Readings in Artificial Intelligence and Databases},
 year           = {1989},
 publisher      = {Elsevier}
}


@article{Fruthwirth1998:CHRs,
 title          = {Theory and practice of constraint handling rules},
 author         = {Fr{\"u}hwirth, Thom},
 journal        = {The Journal of Logic Programming},
 volume         = {37},
 number         = {1-3},
 year           = {1998},
 publisher      = {Elsevier}
}


% -- g --------------------------------------------------------------
@inproceedings{Garg2006:Constructive,
 title          = {Non-interference in constructive authorization logic},
 author         = {Garg, Deepak and Pfenning, Frank},
 booktitle      = {IEEE Computer Security Foundations Workshop},
 year           = {2006}
}

@article{Gelernter1985:Linda,
 title          = {{Generative communication in Linda}},
 author         = {Gelernter, David},
 Journal        = {Transactions on Programming Languages and Systems},
 volume         = {7},
 number         = {1},
 year           = {1985},
 publisher      = {ACM}
}


@misc{Grigg2017:EosIntroduction,
 title          = {{EOS - An Introduction}},
 author         = {Ian Grigg},
 publisher      = {EOS.IO},
 year           = {2017}
}


% -- h --------------------------------------------------------------
@article{Harz2018:SurveyLanguages,
  author    = {Dominik Harz and
               William J. Knottenbelt},
  title     = {Towards Safer Smart Contracts: {A} Survey of Languages and Verification
               Methods},
  journal   = {CoRR},
  volume    = {abs/1809.09805},
  year      = {2018},
  archivePrefix = {arXiv},
  eprint    = {1809.09805},
}


@article{Hearn2016:Corda,
 title          = {Corda: A distributed ledger},
 author         = {Hearn, Mike},
 journal        = {Corda Technical White Paper},
 year           = {2016}
}


@incollection{Hoare1978:CSP,
 title          = {Communicating sequential processes},
 author         = {Hoare, Charles Antony Richard},
 booktitle      = {The origin of concurrent programming},
 year           = {1978}
}


@article{Hopwood2016:zcash,
  title         = {{ZCash protocol specification}},
  author        = {Hopwood, Daira and Bowe, Sean and Hornby, Taylor and Wilcox, Nathan},
  journal       = {Tech. rep. 2016--1.10. Zerocoin Electric Coin Company},
  year          = {2016}
}


% -- j --------------------------------------------------------------
@article{Jensen1981:ColouredPetri,
 title          = {{Coloured Petri nets and the invariant-method}},
 author         = {Jensen, Kurt},
 journal        = {Theoretical computer science},
 volume         = {14},
 number         = {3},
 year           = {1981},
 publisher      = {Elsevier}
}


@inproceedings{Jia2008:Aura,
    title       = {Aura: A programming language for authorization and audit},
    author      = {Jia, Limin and Vaughan, Jeffrey A and Mazurak, Karl and Zhao, Jianzhou and Zarko, Luke and Schorr, Joseph and Zdancewic, Steve},
    booktitle   = {{ACM SIGPLAN Notices}},
    volume      = {43},
    number      = {9},
    year        = {2008}
}


% -- l --------------------------------------------------------------
@article{Lamport1982:Byzantine,
 title          = {{The Byzantine generals problem}},
 author         = {Lamport, Leslie and Shostak, Robert and Pease, Marshall},
 journal        = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
 volume         = {4},
 number         = {3},
 year           = {1982},
 publisher      = {ACM}
}

@misc{Lee2018:EOSIO,
    title       = {{EOS.IO} Technical White Paper v2},
    author      = {Greg Lee and Josh Lavin and Daniel Larimer},
    year        = {2018}
}


@article{Lohmann2009:PetriBPEL,
    title       = {{Comparing and evaluating Petri net semantics for BPEL}},
    author      = {Lohmann, Niels and Verbeek, Eric and Ouyang, Chun and Stahl, Christian and van der Aalst, Wil MP},
    journal     = {International Journal of Business Process Integration and Management},
    volume      = {4},
    number      = {1},
    year        = {2009}
}


% -- m --------------------------------------------------------------
@inproceedings{Merrick2000:Scopes,
 title          = {Coordination with scopes},
 author         = {Merrick, Iain and Wood, Alan},
 booktitle      = {Symposium on Applied Computing},
 year           = {2000}
}

@inproceedings{Minsky1994:LawGovernedLinda,
 title          = {Law-governed {Linda} as a coordination model},
 author         = {Minsky, Naftaly H and Leichter, Jerrold},
 booktitle      = {European Conference on Object-Oriented Programming},
 year           = {1994}
}


@article{Minsky2001:SafeTupleSpace,
 title          = {Safe tuplespace-based coordination in multiagent systems},
 author         = {Minsky, Naftaly H and Minsky, Yaron M and Ungureanu, Victoria},
 journal        = {Applied Artificial Intelligence},
 volume         = {15},
 number         = {1},
 year           = {2001}
}


@techreport{Moss1981:Nested,
  title         = {Nested Transactions: An Approach to Reliable Distributed Computing.},
  author        = {Moss, John Eliot Blakeslee},
  year          = {1981},
  institution   = {Massachusetts Institute of Technology}
}

% -- o --------------------------------------------------------------
@inproceedings{Oriol2005:TaggedSets,
 title          = {Tagged sets: a secure and transparent coordination medium},
 author         = {Oriol, Manuel and Hicks, Michael},
 booktitle      = {International Conference on Coordination Languages and Models},
 year           = {2005}
}


@inproceedings{Ongaro2014:Consensus,
 title          = {In search of an understandable consensus algorithm},
 author         = {Ongaro, Diego and Ousterhout, John},
 booktitle      = {{USENIX} Annual Technical Conference},
 year           = {2014}
}


% -- p --------------------------------------------------------------
@article{Paton1999:Active,
 title          = {Active database systems},
 author         = {Paton, Norman W and D{\'\i}az, Oscar},
 journal        = {ACM Computing Surveys (CSUR)},
 volume         = {31},
 number         = {1},
 year           = {1999},
 publisher      = {ACM}
}


@misc{IOHK2018:Plutus,
 title          = {{Formal specification of the Plutus core language (version 2.0)}},
 author         = {IOHK},
 howpublished   = {\url{https://hydra.iohk.io/build/798158/download/1/plutus-core-specification.pdf}},
 note           = {Accessed: 2019-04-27}
}


@inproceedings{PeytonJones2000:Composing,
 title          = {Composing contracts: an adventure in financial engineering (functional pearl)},
 author         = {Peyton Jones, Simon and Eber, Jean-Marc and Seward, Julian},
 booktitle      = {ACM SIGPLAN Notices},
 volume         = {35},
 number         = {9},
 year           = {2000},
 organization   = {ACM}
}


@misc{Popejpy2016:Pact,
  title         = {{The Pact smart contract language}},
  author        = {Popejoy, Stuart},
  year          = {2016},
  publisher     = {Kadena}
}

@misc{Proctor2008:Drools,
  title         = {Drools documentation},
  author        = {Proctor, Mark and Neale, Michael and Lin, Peter and Frandsen, Michael},
  journal       = {JBoss},
  volume        = {5},
  publisher     = {Citeseer}
}

@misc{Riley2017:CLIPS,
    title       = {{CLIPS} Basic Programming Guide, version 6.40 Beta},
    author      = {Gary Riley},
    year        = {2017}
    }


% -- s --------------------------------------------------------------
@article{Boag2002:XQuery,
 title          = {{XQuery 1.0: An XML query language}},
 author         = {Boag, Scott and Chamberlin, Don and Fern{\'a}ndez, Mary F and Florescu, Daniela and Robie, Jonathan and Sim{\'e}on, J{\'e}r{\^o}me and Stefanescu, Mugur},
 year           = {2002}
}

@inproceedings{El-Ansary2003:Broadcast,
 title          = {Efficient broadcast in structured {P2P} networks},
 author         = {El-Ansary, Sameh and Alima, Luc Onana and Brand, Per and Haridi, Seif},
 booktitle      = {International workshop on Peer-to-Peer systems},
 year           = {2003}
}


@inproceedings{Sulzmann2008:MultiHeaded,
 title          = {Actors with multi-headed message receive patterns},
 author         = {Sulzmann, Martin and Lam, Edmund SL and Van Weert, Peter},
 booktitle      = {International Conference on Coordination Languages and Models},
 year           = {2008}
}


@article{Sergey2018:Scilla,
  author    = {Ilya Sergey and
               Amrit Kumar and
               Aquinas Hobor},
  title     = {Scilla: a Smart Contract Intermediate-Level LAnguage},
  journal   = {CoRR},
  volume    = {abs/1801.00687},
  year      = {2018},
  archivePrefix = {arXiv},
  eprint    = {1801.00687}
}


% -- u --------------------------------------------------------------
@article{Udzir2007:MultiCapabilities,
 title          = {Coordination with multicapabilities},
 author         = {Udzir, Nur Izura and Wood, Alan M and Jacob, Jeremy L},
 journal        = {Science of Computer Programming},
 volume         = {64},
 number         = {2},
 year           = {2007}
}


% -- v --------------------------------------------------------------
@misc{Vogelsteller2015:ERC20,
 title          = {{ERC-20: A standard interface for tokens}},
 author         = {Fabian Vogelsteller and Vitalik Buterin},
 howpublished   = {\url{https://github.com/ethereum/EIPs/blob/e7dac5b8287106143d361b1de3704ce0bba31983/EIPS/eip-20.md}},
 publisher      = {ethereum.org}}
}


% -- w --------------------------------------------------------------
@misc{Wood2014:Ethereum,
  title         = {Ethereum: A secure decentralised generalised transaction ledger},
  author        = {Wood, Gavin},
  year          = {2014}
}


% -- y --------------------------------------------------------------
@inproceedings{Gilad2017:Algorand,
 title          = {{Algorand: Scaling Byzantine agreements for cryptocurrencies}},
 author         = {Gilad, Yossi and Hemo, Rotem and Micali, Silvio and Vlachos, Georgios and Zeldovich, Nickolai},
 booktitle      = {Symposium on Operating Systems Principles},
 year           = {2017},
 organization   = {ACM}
}


% -- z ---------------------------------------------------------------
@article{Zahnentferner2018:Chimeric,
 title          = {{Chimeric ledgers: translating and unifying UTxO-based and account-based cryptocurrencies}},
 author         = {Zahnentferner, Joachim},
 journal        = {IACR Cryptology ePrint Archive},
 year           = {2018}
}

@article{Zahnentferner2018:UTxO,
 author         = {Joachim Zahnentferner},
 title          = {An Abstract Model of {UTxO}-based Cryptocurrencies with Scripts},
 journal        = {{IACR} Cryptology ePrint Archive},
 year           = {2018}
}