Difference between revisions of "Paper/Algebra of Systems"
Jump to navigation
Jump to search
| Line 14: | Line 14: | ||
<noinclude> | <noinclude> | ||
[[File:AoS2009.pdf| | [[File:AoS2009.pdf|450px]] | ||
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>. | 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>. | ||
Revision as of 03:51, 5 February 2022
Koo, Hsueh-Yung Benjamin; Simmons, Willard; Crawley, Edward (May 2009). "Algebra of Systems: A Metalanguage for Model Synthesis and Evaluation" (PDF). 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_253d116f18e8.jpg' @ error/convert.c/ConvertImageCommand/3229.
A relevant statement by Dana Scott can be found here[1].
References
- ↑ 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.