@inproceedings(badertscher:2018,
 author       = {Christian Badertscher and Ga\v{z}i, Peter and Aggelos Kiayias and Alexander Russell and Vassilis Zikas},
 year         = {2018},
 title        = {{Ouroboros Genesis}: Composable Proof-of-Stake Blockchains with Dynamic Availability},
 booktitle    = {Proceedings of the 2018 {ACM SIGSAC} Conference on Computer and Communications Security},
 publisher    = {ACM},
 address      = {New York},
 pages        = {913--930},
 doi          = {10.1145/3243734.3243848},
 url          = {https://iohk.io/en/research/library/papers/ouroboros-genesiscomposable-proof-of-stake-blockchains-with-dynamic-availability/},
)
@phdthesis(bani-abdelrahman:2018,
 author       = {Bani-Abdelrahman, Ra'Ed},
 year         = {2018},
 title        = {Specification and Verification of Network Algorithms using Temporal Logic},
 school       = {Loughborough University},
 address      = {Loughborough, England},
 doi          = {10.26174/thesis.lboro.8138030.v1},
)
@incollection(bar-yehuda:1989,
 author       = {Bar-Yehuda, Reuven and Oded Goldreich and Alon Itai},
 year         = {1989},
 title        = {Efficient Emulation of Single-Hop Radio Network with Collision Detection on Multi-Hop Radio Network with No Collision Detection},
 editor       = {Jean-Claude Bermond and Michel Raynal},
 booktitle    = {Distributed Algorithms},
 series       = {Lecture Notes in Computer Science},
 volume       = {392},
 publisher    = {Springer},
 address      = {Berlin/Heidelberg, Germany},
 pages        = {24--32},
 doi          = {10.1007/3-540-51687-5\_29},
)
@incollection(basten:1995,
 author       = {Twan Basten and Marc Voorhoeve},
 year         = {1995},
 title        = {An Algebraic Semantics for Hierarchical {P/T} Nets},
 editor       = {De Michelis, Giorgio and Michel Diaz},
 booktitle    = {Application and Theory of Petri Nets 1995},
 series       = {Lecture Notes in Computer Science},
 volume       = {935},
 publisher    = {Springer},
 address      = {Berlin/Heidelberg, Germany},
 pages        = {45--65},
 doi          = {10.1007/3-540-60029-9\_33},
)
@incollection(best:2001,
 author       = {Eike Best and Raymond Devillers and Maciej Koutny},
 year         = {2001},
 title        = {A Unified Model for Nets and Process Algebras},
 editor       = {J. A. Bergstra and A. Ponse and S. A. Smolka},
 booktitle    = {Handbook of Process Algebra},
 chapter      = {14},
 publisher    = {Elsevier},
 address      = {Amsterdam, The Netherlands},
 pages        = {873--944},
 doi          = {10.1016/B978-044482830-9/50032-1},
)
@incollection(david:2018,
 author       = {Bernardo David and Ga\v{z}i, Peter and Aggelos Kiayias and Alexander Russell},
 year         = {2018},
 title        = {{Ouroboros Praos}: An Adaptively-Secure, Semi-Synchronous Proof-of-Stake Blockchain},
 editor       = {Buus Nielsen, Jesper and Vincent Rijmen},
 booktitle    = {Advances in Cryptology -- EUROCRYPT~2018},
 series       = {Lecture Notes in Computer Science},
 volume       = {10821},
 publisher    = {Springer},
 address      = {Berlin/Heidelberg, Germany},
 pages        = {66--98},
 doi          = {10.1007/978-3-319-78375-8\_3},
 url          = {https://iohk.io/en/research/library/papers/ouroboros-praosan-adaptively-securesemi-synchronous-proof-of-stake-protocol/},
)
@article(degano:1988,
 author       = {Pierpaolo Degano and De Nicola, Rocco and Ugo Montanari},
 year         = {1988},
 title        = {A Distributed Operational Semantics for {CCS} Based on Condition/Event Systems},
 journal      = {Acta Informatica},
 volume       = {26},
 number       = {1--2},
 pages        = {59--91},
 doi          = {10.1007/BF02915446},
)
@book(gorrieri:2017,
 author       = {Roberto Gorrieri},
 year         = {2017},
 title        = {Process Algebras for Petri Nets},
 series       = {Monographs in Theoretical Computer Science. An EATCS Series},
 publisher    = {Springer},
 address      = {Berlin/Heidelberg, Germany},
 doi          = {10.1007/978-3-319-55559-1},
)
@incollection(honda:1991,
 author       = {Kohei Honda and Mario Tokoro},
 year         = {1991},
 title        = {An Object Calculus for Asynchronous Communication},
 editor       = {Pierre America},
 booktitle    = {ECOOP~'91 European Conference on Object-Oriented Programming},
 series       = {Lecture Notes in Computer Science},
 volume       = {512},
 publisher    = {Springer},
 address      = {Berlin/Heidelberg, Germany},
 pages        = {133--147},
 doi          = {10.1007/BFb0057019},
)
@incollection(kiayias:2017,
 author       = {Aggelos Kiayias and Alexander Russell and Bernardo David and Roman Oliynykov},
 year         = {2017},
 title        = {{Ouroboros}: A Provably Secure Proof-of-Stake Blockchain Protocol},
 editor       = {Jonathan Katz and Hovav Shacham},
 booktitle    = {Advances in Cryptology -- CRYPTO~2017},
 series       = {Lecture Notes in Computer Science},
 volume       = {10401},
 publisher    = {Springer},
 address      = {Berlin/Heidelberg, Germany},
 pages        = {357--388},
 doi          = {10.1007/978-3-319-63688-7\_12},
 url          = {https://iohk.io/en/research/library/papers/ouroborosa-provably-secure-proof-of-stake-blockchain-protocol/},
)
@book(olderog:1991,
 author       = {Ernst-R\"{u}diger Olderog},
 year         = {1991},
 title        = {Nets, Terms and Formulas},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 volume       = {23},
 publisher    = {Cambridge University Press},
 address      = {Cambridge, England},
 doi          = {10.1017/CBO9780511526589},
)