Concepedia

R. J. R. Back

RJ

21

Publications

1.6K

Citations

18

H-Index

1981

Active since

Affiliations

Åbo Akademi University(Current)

University of Eastern Finland

University of Helsinki

Turku Centre for Computer Science

R. J. R. Back is an author at Åbo Akademi University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningProgram AnalysisFormal VerificationSoftware AnalysisLanguageSemanticsLinguistics

Publications per year

1981–2003

21

Publications

21

Decentralization of process nets with centralized control

R. J. R. Back, Reino Kurki-Suonio · 1983 · 278 citations

Engineering, Process Nets, Centralized Action Systems +15

Distributed cooperation with action systems

R. J. R. Back, F. Kurki-Suonio · ACM Transactions on Programming Languages and Systems · 1988 · 259 citations · Full text

Engineering, Game Theory, Verification +18

A calculus of refinements for program derivations

R. J. R. Back · Acta Informatica · 1988 · 247 citations

Formal Specification, Engineering, Automated Reasoning +8

On correct refinement of programs

R. J. R. Back · Journal of Computer and System Sciences · 1981 · 139 citations

Refinement Technique, Program Checking, Engineering +9

Decentralization of process nets with centralized control

R. J. R. Back, Reino Kurki-Suonio · Distributed Computing · 1989 · 125 citations

Engineering, Process Nets, Decentralized Privacy +5

Rows per page

1–5 of 21