Execution architectures for program alge
โ
Jan A. Bergstra; Alban Ponse
๐
Article
๐
2007
๐
Elsevier Science
๐
English
โ 287 KB
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purpose of explanation and provided with a process-algebraic, compositional semantics, and synthetic architectures, focusing