Cap, Clemens H.Goltz, UrsulaMagnor, MarcusAppelrath, Hans-JürgenMatthies, Herbert K.Balke, Wolf-TiloWolf, Lars2018-11-062018-11-062012978-3-88579-602-2https://dl.gi.de/handle/20.500.12116/17853There is no formal framework for describing the core structural concepts of Bitcoin or for attempting a correctness proof of the algorithm. This contribution presents several elements which may serve as building blocks. A distributed model for describing the states enclosed in a Bitcoin network is provided. Concepts for modeling the swarm behavior of Bitcoin are analyzed.enText/Conference Paper1617-5468