Dave Clarke (cwi

Primitives Connectors Ordinary Structure Dual Structure (2008)

Dave Clarke (cwi

What are laws of component connectors (e.g., Reo)? sync; fifo1 = fifo1 repl; merge = 0; 0 Ideal: a finite collection of equational laws which completely characterize some class of component...