Difference between revisions of "Algebra of Systems"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
Algebra of Systems<ref>{{:Paper/Algebra of Systems}}</ref> is a paper based on [[User:Benkoo|Koo]]'s thesis<ref>{{:Thesis/A Meta-language for Systems Architecting}}</ref>. | Algebra of Systems<ref>{{:Paper/Algebra of Systems}}</ref> is a paper based on [[User:Benkoo|Koo]]'s thesis<ref>{{:Thesis/A Meta-language for Systems Architecting}}</ref>. | ||
=A Small Algebra of Engineering Tasks= | |||
This year 2009 paper summarized the following statement in the end: | |||
asdf a | |||
The above statement echos who [[Dana Scott]]<ref>[[Dana_Scott_on_Lambda_Calculus#Why_he_kicks_himself_in_the_middle_of_the_night Scott Commenting on a small algebra for combinators]]</ref> was saying in the 2018 Lambda Conference. | |||
<noinclude> | |||
=References= | |||
<references/> | |||
=Related Pages= | |||
[[Category:AoS]] | |||
[[Category:Meta Mathematics]] | |||
</noinclude> | |||
Revision as of 04:11, 20 January 2022
Algebra of Systems[1] is a paper based on Koo's thesis[2].
A Small Algebra of Engineering Tasks
This year 2009 paper summarized the following statement in the end:
asdf a
The above statement echos who Dana Scott[3] was saying in the 2018 Lambda Conference.
References
- ↑ 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.
- ↑ Koo, Hsueh-Yung Benjamin (31 Jan 2005). A Meta-language for Systems Architecting (PDF) (Ph.D.). local page: MIT. Retrieved July 18, 2021.
- ↑ Dana_Scott_on_Lambda_Calculus#Why_he_kicks_himself_in_the_middle_of_the_night Scott Commenting on a small algebra for combinators