Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering
Download PDF

Abstract

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.
Like what you’re reading?
Already a member?
Get this article FREE with a new membership!