Will I be pretty, will I be rich? Some thoughts on theory vs. practice in systems engineering
David Harel · 2002
The paper puts forward some thoughts on theoretical vs. applied research in the specification and design of reactive, highly concurrent systems. It discusses the calculus of communicating systems and communicating sequential processes.