Algebra of Systems

From PKC
Revision as of 04:11, 20 January 2022 by Benkoo (talk | contribs)
Jump to navigation Jump to search

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

  1. ↑ 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. 
  2. ↑ Koo, Hsueh-Yung Benjamin (31 Jan 2005). A Meta-language for Systems Architecting (PDF) (Ph.D.). local page: MIT. Retrieved July 18, 2021. 
  3. ↑ Scott Commenting on a small algebra for combinators

Related Pages

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