bib.bib

@book{Ebbinghaus-Flum-Thomas,
    author       = {Heinz-Dieter Ebbinghaus and Jörg Flum and Wolfgang Thomas},
    title        = {Mathematical Logic},
    publisher    = {Springer},
    year         = {2021},
    edition      = {3rd},
    doi          = {10.1007/978-3-030-73839-6},
}

@article{Kahn,
  author = {Arthur B. Kahn},
  title = {Topological Sorting of Large Networks},
  journal = {Communications of the ACM},
  volume = {5},
  number = {11},
  year = {1962},
  pages = {558-562},
  doi = {10.1145/368996.369025}
}

@misc{Cycling74,
  title = {Max: A Playground for Invention},
  author = {Cycling '74},
  year = {2024},
  url = {https://cycling74.com/products/max},
  note = {Accessed: 2024-07-21}
}

@manual{Matlab,
  title        = {MATLAB Simulink},
  author       = {{The MathWorks, Inc.}},
  year         = {2024},
  url          = {https://www.mathworks.com/products/simulink.html},
  note         = {Accessed: 2024-07-11}
}

@manual{Blender,
  title        = {Blender Shader Nodes},
  author       = {{Blender Foundation}},
  year         = {2024},
  url          = {https://docs.blender.org/manual/en/latest/render/shader_nodes/index.html},
  note         = {Accessed: 2024-07-11}
}

@inproceedings{KahnNetworks,
  title={The semantics of a simple language for parallel programming},
  author={Kahn, Gilles},
  booktitle={Proceedings of the IFIP Congress},
  volume={74},
  pages={471--475},
  year={1974},
  organization={IFIP}
}

@inproceedings{SyncKahn,
author = {Caspi, Paul and Pouzet, Marc},
title = {Synchronous Kahn networks},
year = {1996},
isbn = {0897917707},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/232627.232651},
doi = {10.1145/232627.232651},
booktitle = {Proceedings of the First ACM SIGPLAN International Conference on Functional Programming},
pages = {226–238},
numpages = {13},
location = {Philadelphia, Pennsylvania, USA},
series = {ICFP '96}
}

@article{EDWARDS200321,
title = {The semantics and execution of a synchronous block-diagram language},
journal = {Science of Computer Programming},
volume = {48},
number = {1},
pages = {21-42},
year = {2003},
issn = {0167-6423},
doi = {https://doi.org/10.1016/S0167-6423(02)00096-5},
url = {https://www.sciencedirect.com/science/article/pii/S0167642302000965},
author = {Stephen A. Edwards and Edward A. Lee},
keywords = {Heterogeneity, Synchronous, Software modules, Execution, Fixed points, Embedded systems, Coordination language, System of equations, Relaxation, Chaotic iteration},
}

@misc{cadCAD.jl,
	author  = {Emanuel Lima},
	title   = {cadCAD.jl},
	url     = {https://github.com/cadCAD-org/cadCAD.jl},
	version = {v0.1.0},
	year    = {2023},
	month   = {5}
}

@book{SynchronousProgrammingOfReactiveSystems,
  title={Synchronous Programming of Reactive Systems},
  author={Halbwachs, N.},
  isbn={9780792393115},
  lccn={92038480},
  series={The Springer International Series in Engineering and Computer Science},
  url={https://books.google.com/books?id=-q9MNBEqTekC},
  year={1992},
  publisher={Springer US}
}

@InProceedings{SynchronousCausality,
author="Cuoq, Pascal
and Pouzet, Marc",
editor="Sands, David",
title="Modular Causality in a Synchronous Stream Language",
booktitle="Programming Languages and Systems",
year="2001",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="237--251",
isbn="978-3-540-45309-3"
}

@misc{SystemModeler,
  author = {Wolfram Research{,} Inc.},
  title = {System {M}odeler, {V}ersion 14.0},
  url = {https://www.wolfram.com/system-modeler},
  note = {Champaign, IL, 2024}
}

@misc{WolframInitialization,
    author = {Wolfram Research},
    title = {Model Initialization},
    year = {2024},
    url = {https://reference.wolfram.com/system-modeler/GettingStarted/ModelInitialization.html},
    note = {Accessed: 2024-07-23}
}