@mastersthesis{Budzynowski:be, address = {Sydney, Australia}, author = {Aleksander Budzynowski}, month = oct, paperUrl = {https://trustworthy.systems/publications/theses_public/11/Budzynowski%3Abe.pdf}, school = {School of Mechanical and Manufacturing Engineering}, title = {Operating System for a Flow-Graph Machine}, year = {2011} }