Difference between revisions of "Paper/Algebra of Systems"
Jump to navigation
Jump to search
(Created page with "{{Paper |last= Koo |first= Hsueh-Yung Benjamin |author-link= |date= May 2009 |title= Algebra of Systems: |url=http://systemarchitect.mit.edu/docs/koo09.pdf |publisher...") |
|||
| (42 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
{{ | {{cite journal | ||
|last= Koo | |last= Koo | ||
|first= Hsueh-Yung Benjamin | |first=Hsueh-Yung Benjamin | ||
|author-link= | |last2=Simmons | ||
|date= | |first2=Willard | ||
|title= Algebra of Systems | |last3=Crawley | ||
|first3=Edward | |||
|author-link=Ben Koo | |||
|date=Nov 16, 2021 | |||
|title=Algebra of Systems as a Meta Language for Model Synthesis and Analysis | |||
|url=http://systemarchitect.mit.edu/docs/koo09.pdf | |url=http://systemarchitect.mit.edu/docs/koo09.pdf | ||
|publisher=IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS | |publisher=IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS | ||
|location=[[Paper/Algebra of Systems|local page]] | |||
}} | }} | ||
<noinclude> | |||
{{#widget:PDF | |||
|url=http://systemarchitect.mit.edu/docs/koo09.pdf | |||
|width=800 | |||
|height=900 | |||
}} | |||
[[File:AoS2009.pdf|450px]] | |||
[[Brendan Fong]]'s doctoral thesis provides a elaborate treatment to Algebra of Systems<ref>{{:Thesis/The Algebra of Open and Interconnected Systems}}</ref>. | |||
==Interesting Remark related to Algebra of Systems== | |||
Dana Scott made the following statement in the 2017 LambdaConf<ref>[https://youtu.be/8zk0yS8Jp5w?t=1323 Dana Scott:"The general process of abstraction can be organized into algebras"]</ref>: | |||
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<ref>[[Dana Scott on Lambda Calculus]]</ref> by [[Dana Scott]]. | |||
{{PagePostfix | |||
|category_csd=Category Theory,Visual Programming,Programming Language,Algebra of Systems | |||
|semantic_labels=Authored by:[[Authored by::Ben Koo]] | |||
}} | |||
</noinclude> | |||
Latest revision as of 03:36, 8 December 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_a54cecdd4604.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
Related Pages
Authored by:Ben Koo