Seguir
Ralph-Johan Back
Ralph-Johan Back
Professor of Computer Science, Åbo Akademi
Email confirmado em abo.fi - Página inicial
Título
Citado por
Citado por
Ano
Refinement calculus: a systematic introduction
RJ Back, J Wright
Springer Science & Business Media, 2012
14262012
Decentralization of process nets with centralized control
RJR Back, R Kurki-Suonio
Proceedings of the second annual ACM symposium on Principles of distributed …, 1983
6191983
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
4241990
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
2461994
On correct refinement of programs
RJR Back
Journal of computer and system sciences 23 (1), 49-68, 1981
2391981
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
1962006
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
1531996
Stepwise refinement of parallel algorithms
RJR Back, K Sere
Science of Computer Programming 13 (2-3), 133-180, 1990
1481990
Refinement concepts formalised in higher order logic
RJR Back, J von Wright
Formal Aspects of Computing 2, 247-272, 1990
1261990
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
981989
Duality in specification languages: a lattice-theoretical approach
RJR Back, J von Wright
Acta Informatica 27, 583-625, 1990
971990
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
792011
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20