Refinement calculus: a systematic introduction RJ Back, J Wright Springer Science & Business Media, 2012 | 1426 | 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 | 619 | 1983 |
A calculus of refinements for program derivations RJR Back Acta Informatica 25, 593-624, 1988 | 504 | 1988 |
Refinement calculus, part II: Parallel and reactive programs RJR Back Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990 | 424 | 1990 |
Correctness preserving program refinements: Proof theory and applications RJ Back (No Title), 1980 | 409 | 1980 |
Distributed cooperation with action systems RJR Back, F Kurki-Suonio ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (4), 513-554, 1988 | 383 | 1988 |
On the correctness of refinement steps in program development RJ Back Department of Computer Science, University of Helsinki, 1978 | 304 | 1978 |
Trace refinement of action systems RJR Back, J von Wright International conference on concurrency theory, 367-384, 1994 | 246 | 1994 |
On correct refinement of programs RJR Back Journal of computer and system sciences 23 (1), 49-68, 1981 | 239 | 1981 |
Refinement calculus, part I: Sequential nondeterministic programs RJR Back, J von Wright Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990 | 232 | 1990 |
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 | 196 | 2006 |
Stepwise refinement of action systems. RJ Back, K Sere Struct. Program. 12 (1), 17-30, 1991 | 179 | 1991 |
Superposition refinement of reactive systems RJR Back, K Sere Formal Aspects of Computing 8, 324-346, 1996 | 153 | 1996 |
Stepwise refinement of parallel algorithms RJR Back, K Sere Science of Computer Programming 13 (2-3), 133-180, 1990 | 148 | 1990 |
Refinement concepts formalised in higher order logic RJR Back, J von Wright Formal Aspects of Computing 2, 247-272, 1990 | 126 | 1990 |
Stepwise refinement of action systems RJR Back, K Sere International Conference on Mathematics of Program Construction, 115-138, 1989 | 123 | 1989 |
A method for refining atomicity in parallel algorithms RJR Back International Conference on Parallel Architectures and Languages Europe, 199-216, 1989 | 98 | 1989 |
Duality in specification languages: a lattice-theoretical approach RJR Back, J von Wright Acta Informatica 27, 583-625, 1990 | 97 | 1990 |
Procedural abstraction in the refinement calculus RJ Back Åbo akademi. Departments of Information Processing & Mathematics, 1987 | 85 | 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 | 79 | 2011 |