Difference between revisions of "Paper/Algebra of Systems"

From PKC
Jump to navigation Jump to search
 
(21 intermediate revisions by one other user not shown)
Line 1: Line 1:
{{cite journal
{{cite journal
  |last= Koo
  |last= Koo
  |first= Hsueh-Yung Benjamin
  |first=Hsueh-Yung Benjamin
  |last2= Simmons
  |last2=Simmons
  |first2= Willard
  |first2=Willard
  |last3= Crawley
  |last3=Crawley
  |first3= Edward
  |first3=Edward
  |author-link= Ben Koo
  |author-link=Ben Koo
  |date= May 2009
  |date=Nov 16, 2021
  |title= Algebra of Systems: A Metalanguage for Model Synthesis and Evaluation
  |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>
<noinclude>
[[File:AoS2009.pdf|600px]]


A relevant statement by Dana Scott can be found here<ref>Dana Scott on Lambda Calculus. (2022, January 20). PKC Media Wiki, . Retrieved 04:01, January 20, 2022 from https://www.pkc.pub/index.php?title=Dana_Scott_on_Lambda_Calculus&oldid=21351.</ref>.
{{#widget:PDF
=References=
|url=http://systemarchitect.mit.edu/docs/koo09.pdf
<references/>
|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>
</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. 


Currently your browser does not use a PDF plugin. You may however download the PDF file instead.

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_98c75350c612.jpg' @ error/convert.c/ConvertImageCommand/3229.

Brendan Fong's doctoral thesis provides a elaborate treatment to Algebra of Systems[1].

Interesting Remark related to Algebra of Systems

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

  1. ↑ Fong, Brendan (2016). The Algebra of Open and Interconnected Systems (PDF) (Ph.D.). local page: University of Oxford. Retrieved October 15, 2021. 
  2. ↑ Dana Scott:"The general process of abstraction can be organized into algebras"
  3. ↑ Dana Scott on Lambda Calculus

Related Pages

Authored by:Ben Koo


Retrieved from "https://pkc.pub/index.php?title=Paper/Algebra_of_Systems&oldid=36417"