Not to confuse, but the first Google hit for "compositional semantic theory" is this thing by Norton:
Abstract online:
"Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal--flow graphs and by hierarchically building new components via encapsulating sub--graphs. Run--time environments then dynamically schedule components for execution on some embedded processor, typically in a synchronous cycle--based fashion, and check whether one component jams another by producing outputs faster than can be consumed. This paper develops a process--algebraic model of coordination for synchronous component--based design, which directly lends itself to compositionally formalising the monolithic semantics of DSPC tools."
Tomorrow: Grice.
Subscribe to:
Post Comments (Atom)
Posts
No comments:
Post a Comment