An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional specification of time-sensitive communicating systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Parallel and Distributed Systems
Hi-index | 0.89 |