Difference between revisions of "Paper/Algebra of Systems"
Jump to navigation
Jump to search
| Line 9: | Line 9: | ||
|date=Nov 16, 2021 | |date=Nov 16, 2021 | ||
|title=Algebra of Systems as a Meta Language for Model Synthesis and Analysis | |title=Algebra of Systems as a Meta Language for Model Synthesis and Analysis | ||
|url=https:// | |url=https://ipfs.io/ipfs/QmYCts7diLAmVDDXnayRXAcZRzK4GQFScLrUc2iiGCbsKu?filename=AoS2009.pdf | ||
|publisher=IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS | |publisher=IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS | ||
|location=[[Paper/Algebra of Systems|local page]] | |location=[[Paper/Algebra of Systems|local page]] | ||
Revision as of 10:10, 24 June 2022
Koo, Hsueh-Yung Benjamin; Simmons, Willard; Crawley, Edward (Nov 16, 2021). "Algebra of Systems as a Meta Language for Model Synthesis and Analysis" (PDF). local page: IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS.
Error creating thumbnail: /bin/bash: line 1: /usr/bin/gs: No such file or directory convert: no decode delegate for this image format `' @ error/constitute.c/ReadImage/575. convert: no images defined `/tmp/transform_f09495c2cf7c.jpg' @ error/convert.c/ConvertImageCommand/3229.
Brendan Fong's doctoral thesis provides a elaborate treatment to Algebra of Systems[1].
Dana Scott made the following statement in the 2017 LambdaConf[2]:
No body said:"Do these operations have any algebra to them? ... If I were to think about it in 1957, I would have been rich and famous..."
it is highly recommended for anyone interested in this subject to watch the video series[3] by Dana Scott.
References
- ↑ Fong, Brendan (2016). The Algebra of Open and Interconnected Systems (PDF) (Ph.D.). local page: University of Oxford. Retrieved October 15, 2021.
- ↑ Dana Scott:"The general process of abstraction can be organized into algebras"
- ↑ Dana Scott on Lambda Calculus