Folgen
Ralph-Johan Back
Ralph-Johan Back
Professor of Computer Science, Åbo Akademi
Bestätigte E-Mail-Adresse bei abo.fi - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Refinement calculus: a systematic introduction
RJ Back, J Wright
Springer Science & Business Media, 2012
14812012
Decentralization of process nets with centralized control
RJR Back, R Kurki-Suonio
Proceedings of the second annual ACM symposium on Principles of distributed …, 1983
6171983
A calculus of refinements for program derivations
RJR Back
Acta Informatica 25, 593-624, 1988
5141988
Refinement calculus, part II: Parallel and reactive programs
RJR Back
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990
4261990
Distributed cooperation with action systems
RJR Back, F Kurki-Suonio
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (4), 513-554, 1988
3851988
On the correctness of refinement steps in program development
RJ Back
Department of Computer Science, University of Helsinki, 1978
3061978
Trace refinement of action systems
RJR Back, J von Wright
International conference on concurrency theory, 367-384, 1994
2411994
On correct refinement of programs
RJR Back
Journal of Computer and System Sciences 23 (1), 49-68, 1981
2351981
Refinement calculus, part I: Sequential nondeterministic programs
RJR Back, J von Wright
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990
2291990
Stepwise refinement of action systems.
RJ Back, K Sere
Struct. Program. 12 (1), 17-30, 1991
1791991
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
1782006
Superposition refinement of reactive systems
RJR Back, K Sere
Formal Aspects of Computing 8, 324-346, 1996
1481996
Stepwise refinement of parallel algorithms
RJR Back, K Sere
Science of Computer Programming 13 (2-3), 133-180, 1990
1371990
Refinement concepts formalised in higher order logic
RJR Back, J von Wright
Formal Aspects of Computing 2, 247-272, 1990
1271990
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
991989
Duality in specification languages: a lattice-theoretical approach
RJR Back, J von Wright
Acta Informatica 27, 583-625, 1990
951990
Procedural abstraction in the refinement calculus
RJ Back
Åbo akademi. Departments of Information Processing & Mathematics, 1987
871987
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
Refining atomicity in parallel algorithms
RJR Back
Reports on Computer Science and Mathematics Ser. A, 1989
731989
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20