Difference between revisions of "Paper/Algebra of Systems"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
|last= Koo | |last= Koo | ||
|first= Hsueh-Yung Benjamin | |first= Hsueh-Yung Benjamin | ||
|last2= Simmons | |||
|first2= Willard | |||
|last3= Crawley | |||
|first3= Edward | |||
|author-link= Ben Koo | |author-link= Ben Koo | ||
|date= | |date=Nov 16, 2021 | ||
|title= Algebra of Systems | |title=Algebra of Systems as a Meta Language for Model Synthesis and Analysis | ||
|url= | |url=https://docs.google.com/presentation/d/1wsmuh0EYA_tcvKEKp5Fss8CDL4pfBdZ1/edit#slide=id.p1 | ||
|publisher= | |publisher=IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS | ||
|location=[[Paper/Algebra of Systems|local page]] | |||
}} | }} | ||
<noinclude> | <noinclude> | ||
[[File:AoS2009.pdf|450px]] | |||
==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]]. | |||
=References= | =References= | ||
<references/> | <references/> | ||
Revision as of 07:21, 21 February 2022
Koo, Hsueh-Yung Benjamin; Simmons, Willard; Crawley, Edward (Nov 16, 2021). "Algebra of Systems as a Meta Language for Model Synthesis and Analysis". 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_5442554ed365.jpg' @ error/convert.c/ConvertImageCommand/3229.
Dana Scott made the following statement in the 2017 LambdaConf[1]:
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[2] by Dana Scott.