Follow
Ralph-Johan Back
Ralph-Johan Back
Professor of Computer Science, Åbo Akademi
Verified email at abo.fi - Homepage
Title
Cited by
Cited by
Year
Refinement calculus: a systematic introduction
RJ Back, J Wright
Springer Science & Business Media, 2012
14162012
Decentralization of process nets with centralized control
RJR Back, R Kurki-Suonio
Proceedings of the second annual ACM symposium on Principles of distributed …, 1983
6161983
A calculus of refinements for program derivations
RJR Back
Acta Informatica 25, 593-624, 1988
5041988
Refinement calculus, part II: Parallel and reactive programs
RJR Back
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990
4221990
Correctness preserving program refinements: Proof theory and applications
RJ Back
(No Title), 1980
4091980
Distributed cooperation with action systems
RJR Back, F Kurki-Suonio
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (4), 513-554, 1988
3831988
On the correctness of refinement steps in program development
RJ Back
Department of Computer Science, University of Helsinki, 1978
3041978
Trace refinement of action systems
RJR Back, J von Wright
International conference on concurrency theory, 367-384, 1994
2451994
On correct refinement of programs
RJR Back
Journal of computer and system sciences 23 (1), 49-68, 1981
2371981
Refinement calculus, part I: Sequential nondeterministic programs
RJR Back, J von Wright
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990
2321990
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
1932006
Stepwise refinement of action systems.
RJ Back, K Sere
Struct. Program. 12 (1), 17-30, 1991
1791991
Superposition refinement of reactive systems
RJR Back, K Sere
Formal Aspects of Computing 8, 324-346, 1996
1521996
Stepwise refinement of parallel algorithms
RJR Back, K Sere
Science of Computer Programming 13 (2-3), 133-180, 1990
1461990
Refinement concepts formalised in higher order logic
RJR Back, J von Wright
Formal Aspects of Computing 2, 247-272, 1990
1251990
Stepwise refinement of action systems
RJR Back, K Sere
International Conference on Mathematics of Program Construction, 115-138, 1989
1231989
A method for refining atomicity in parallel algorithms
RJR Back
International Conference on Parallel Architectures and Languages Europe, 199-216, 1989
971989
Duality in specification languages: a lattice-theoretical approach
RJR Back, J von Wright
Acta Informatica 27, 583-625, 1990
961990
Procedural abstraction in the refinement calculus
RJ Back
Åbo akademi. Departments of Information Processing & Mathematics, 1987
851987
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
782011
The system can't perform the operation now. Try again later.
Articles 1–20