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
13272012
Decentralization of process nets with centralized control
RJR Back, R Kurki-Suonio
Distributed Computing 3 (2), 73-87, 1989
5821989
A calculus of refinements for program derivations
RJR Back
Acta Informatica 25 (6), 593-624, 1988
4761988
Refinement calculus, part II: Parallel and reactive programs
RJR Back
Workshop/School/Symposium of the REX Project (Research and Education in …, 1989
4021989
Distributed cooperation with action systems
RJR Back, F Kurki-Suonio
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (4), 513-554, 1988
3721988
On the correctness of refinement steps in program development
RJ Back
Department of Computer Science, University of Helsinki, 1978
2881978
Trace refinement of action systems
RJR Back, J von Wright
International conference on concurrency theory, 367-384, 1994
2251994
Refinement calculus, part I: Sequential nondeterministic programs
RJR Back, J von Wright
Workshop/School/Symposium of the REX Project (Research and Education in …, 1989
2071989
On correct refinement of programs
RJR Back
Journal of Computer and System Sciences 23 (1), 49-68, 1981
2011981
Stepwise refinement of action systems
RJ Back, K Sere
Structured Programming 12, 17-30, 1991
1751991
Superposition refinement of reactive systems
RJR Back, K Sere
Formal Aspects of Computing 8 (3), 324-346, 1996
1341996
Stepwise refinement of parallel algorithms
RJR Back, K Sere
Science of Computer Programming 13 (2-3), 133-180, 1990
1301990
Refinement concepts formalised in higher order logic
RJR Back, J von Wright
Formal Aspects of Computing 2 (1), 247-272, 1990
1271990
Why complicate things? Introducing programming in high school using Python
L Grandell, M Peltomäki, RJ Back, T Salakoski
Proceedings of the 8th Australasian Conference on Computing Education-Volume …, 2006
1262006
Stepwise refinement of action systems
RJR Back, K Sere
International Conference on Mathematics of Program Construction, 115-138, 1989
1141989
A method for refining atomicity in parallel algorithms
RJR Back
International Conference on Parallel Architectures and Languages Europe, 199-216, 1989
941989
Duality in specification languages: a lattice-theoretical approach
RJR Back, J von Wright
Acta Informatica 27 (7), 583-625, 1990
921990
Procedural abstraction in the refinement calculus
RJ Back
Åbo akademi. Departments of Information Processing & Mathematics, 1987
871987
Refining atomicity in parallel algorithms
RJR Back
Reports on Computer Science and Mathematics Ser. A, 1989
691989
Reasoning algebraically about loops
RJR Back, J Von Wright
Acta Informatica 36 (4), 295-334, 1999
651999
The system can't perform the operation now. Try again later.
Articles 1–20