| Refinement calculus: a systematic introduction RJ Back, J Wright Springer Science & Business Media, 2012 | 1448 | 2012 |
| Decentralization of process nets with centralized control RJR Back, R Kurki-Suonio Proceedings of the second annual ACM symposium on Principles of distributed …, 1983 | 612 | 1983 |
| A calculus of refinements for program derivations RJR Back Acta Informatica 25, 593-624, 1988 | 507 | 1988 |
| Refinement calculus, part II: Parallel and reactive programs RJR Back Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990 | 416 | 1990 |
| Distributed cooperation with action systems RJR Back, F Kurki-Suonio ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (4), 513-554, 1988 | 384 | 1988 |
| On the correctness of refinement steps in program development RJ Back Department of Computer Science, University of Helsinki, 1978 | 299 | 1978 |
| Trace refinement of action systems RJR Back, J von Wright CONCUR’94: Concurrency Theory: 5th International Conference, Uppsala, Sweden …, 1994 | 240 | 1994 |
| On correct refinement of programs RJR Back Journal of Computer and System Sciences 23 (1), 49-68, 1981 | 228 | 1981 |
| Refinement calculus, part I: Sequential nondeterministic programs RJR Back, J von Wright Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990 | 226 | 1990 |
| Stepwise refinement of action systems. RJ Back, K Sere Struct. Program. 12 (1), 17-30, 1991 | 174 | 1991 |
| Why complicate things?: introducing programming in high school using Python L Grandell, M Peltomaki, RJ Back, T Salakoski ACM International Conference Proceeding Series 165, 71-80, 2006 | 163 | 2006 |
| Superposition refinement of reactive systems RJR Back, K Sere Formal Aspects of Computing 8, 324-346, 1996 | 146 | 1996 |
| A method for refining atomicity in parallel algorithms RJR Back PARLE'89 Parallel Architectures and Languages Europe: Volume II: Parallel …, 1989 | 140 | 1989 |
| Refinement concepts formalised in higher order logic RJR Back, J von Wright Formal Aspects of Computing 2, 247-272, 1990 | 138 | 1990 |
| Stepwise refinement of parallel algorithms RJR Back, K Sere Science of Computer Programming 13 (2-3), 133-180, 1990 | 135 | 1990 |
| Stepwise Refinement of Action Systems. RJ Back, K Sere MPC, 115-138, 1989 | 120 | 1989 |
| Duality in specification languages: a lattice-theoretical approach RJR Back, J von Wright Acta Informatica 27, 583-625, 1990 | 93 | 1990 |
| Procedural abstraction in the refinement calculus RJ Back Åbo akademi. Departments of Information Processing & Mathematics, 1987 | 86 | 1987 |
| A simple mass-action model for the eukaryotic heat shock response and its mathematical validation I Petre, A Mizera, CL Hyder, A Meinander, A Mikhailov, RI Morimoto, ... Natural Computing 10, 595-612, 2011 | 74 | 2011 |
| Reasoning algebraically about loops RJR Back, J von Wright Acta Informatica 36, 295-334, 1999 | 72 | 1999 |
