A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Communicating reactive processes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
We propose to extend the synchronous language Esterel by coordination primitives and by an asynchronous parallel composition operation on the level of modules. This is to program reactive systems such that subsystems may proceed at their own speed without enforcing a global knowledge of time. We intend is to stick with the synchronous language paradigm as close as possible since we aim for properties such as local determinism (each agent/control unit should have a predictable behaviour) or global deadlock detection, though we want to enhance modularity and flexibility of system design.