×
Compute Distance To:
Author ID: back.ralph-johan Recent zbMATH articles by "Back, Ralph-Johan"
Published as: Back, R. J. R.; Back, Ralph-Johan; Back, Ralph J. R.; Back, Ralph; Back, Ralph-J. J.; Back, R. J.
Homepage: http://users.abo.fi/ralph-johan.back/

Publications by Year

Citations contained in zbMATH Open

39 Publications have been cited 355 times in 237 Documents Cited by Year
Refinement calculus. A systematic introduction. Zbl 0949.68094
Back, Ralph-Johan; Von Wright, Joakim
92
1998
Correctness preserving program refinements: proof theory and applications. Zbl 0451.68018
Back, R. J. R.
44
1980
Distributed cooperation with action systems. Zbl 0663.68028
Back, R. J. R.; Kurki-Suonio, R.
23
1988
A calculus of refinements for program derivations. Zbl 0658.68018
Back, R. J. R.
21
1988
Reasoning algebraically about loops. Zbl 0940.68011
Back, R. J. R.; von Wright, J.
14
1999
Duality in specification languages: A lattice-theoretical approach. Zbl 0699.68038
Back, R. J. R.; von Wright, J.
14
1990
On correct refinement of programs. Zbl 0469.68012
Back, R. J. R.
13
1981
Stepwise refinement of parallel algorithms. Zbl 0705.68057
Back, R. J. R.; Sere, K.
12
1990
Proving total correctness of nondeterministic programs in infinitary logic. Zbl 0467.03028
Back, R. J. R.
11
1981
Combining angels, demons and miracles in program specifications. Zbl 0754.68078
Back, R. J. R.; von Wright, J.
9
1992
A continuous semantics for unbounded nondeterminism. Zbl 0498.68005
Back, R. J. R.
9
1983
Superposition refinement of reactive systems. Zbl 0852.68008
Back, R. J. R.; Sere, K.
9
1996
Compositional action system refinement. Zbl 1093.68007
Back, R. J. R.; von Wright, J.
7
2003
Refinement concepts formalised in higher order logic. Zbl 0703.68074
Back, R. J. R.; von Wright, J.
6
1990
Semantics of unbounded nondeterminism. (Preprint). Zbl 0425.68021
Back, R. J.
5
1980
Invariant based programming: Basic approach and teaching experiences. Zbl 1178.68334
Back, Ralph-Johan
5
2009
Serializability in distributed systems with hand-shaking. Zbl 0649.68020
Back, R. J. R.; Kurki-Suonio, R.
5
1988
Refinement of fair action systems. Zbl 0898.68027
Back, Ralph J. R.; Xu, Qiwen
5
1998
Encoding, decoding and data refinement. Zbl 1013.68084
Back, Ralph-Johan; von Wright, Joakim
4
2000
An algebraic treatment of procedure refinement to support mechanical verification. Zbl 1101.68669
Back, Ralph-Johan; Preoteasa, Viorel
4
2005
Superposition refinement of parallel algorithms. Zbl 0785.68060
Back, R. J. R.; Sere, K.
4
1992
On the notion of correct refinement of programs. Zbl 0444.68013
Back, R. J. R.
4
1980
Class refinement as semantics of correct object substitutability. Zbl 0963.68103
Back, Ralph-Johan; Mikhajlova, Anna; von Wright, Joakim
4
2000
Contracts, games, and refinement. Zbl 1046.68571
Back, Ralph-Johan; von Wright, Joakim
3
2000
Proving total correctness of nondeterministic programs in infinitary logic. Zbl 0437.68008
Back, R. J. R.
3
1980
Generalizing action systems to hybrid systems. Zbl 0986.68648
Back, Ralph-Johan; Petre, Luigia; Porres, Ivan
3
2000
On equivalence-completions of fairness assumptions. Zbl 0782.68075
Francez, Nissim; Back, Ralph-J. J.; Kurki-Suonio, Reino
3
1992
Financial statement planning in the presence of tax constraints. Zbl 0912.90095
Back, B.; Back, R. J. R.
2
1995
Structured calculational proof. Zbl 0905.68139
Back, Ralph; Grundy, Jim; von Wright, Joakim
2
1997
Data refinement of invariant based programs. Zbl 1342.68095
Preoteasa, Viorel; Back, Ralph-Johan
2
2009
Statement inversion and strongest postcondition. Zbl 0780.68010
Back, R. J. R.; von Wright, J.
2
1993
Specifying the Caltech asynchronous microprocessor. Zbl 0848.68022
Back, R. J. R.; Martin, A. J.; Sere, K.
2
1996
Reasoning about interactive systems. Zbl 0953.68039
Back, Ralph; Mikhajlova, Anna; von Wright, Joakim
2
1999
On the suitability of trace semantics for modular proofs of communicating processes. Zbl 0567.68018
Back, R. J. R.; Mannila, H.
2
1985
Software construction by stepwise feature introduction. Zbl 1044.68561
Back, Ralph-Johan
1
2002
Continuous action systems as a model for hybrid systems. Zbl 0978.68017
Back, Ralph-Johan; Petre, Luigia; Porres, Ivan
1
2001
Structured derivations: a unified proof style for teaching mathematics. Zbl 1217.03043
Back, Ralph-Johan
1
2010
Games and winning strategies. Zbl 0875.68630
Back, R. J. R.; von Wright, J.
1
1995
Computational heuristics for simplifying a biological model. Zbl 1268.92003
Petre, Ion; Mizera, Andrzej; Back, Ralph-Johan
1
2009
Structured derivations: a unified proof style for teaching mathematics. Zbl 1217.03043
Back, Ralph-Johan
1
2010
Invariant based programming: Basic approach and teaching experiences. Zbl 1178.68334
Back, Ralph-Johan
5
2009
Data refinement of invariant based programs. Zbl 1342.68095
Preoteasa, Viorel; Back, Ralph-Johan
2
2009
Computational heuristics for simplifying a biological model. Zbl 1268.92003
Petre, Ion; Mizera, Andrzej; Back, Ralph-Johan
1
2009
An algebraic treatment of procedure refinement to support mechanical verification. Zbl 1101.68669
Back, Ralph-Johan; Preoteasa, Viorel
4
2005
Compositional action system refinement. Zbl 1093.68007
Back, R. J. R.; von Wright, J.
7
2003
Software construction by stepwise feature introduction. Zbl 1044.68561
Back, Ralph-Johan
1
2002
Continuous action systems as a model for hybrid systems. Zbl 0978.68017
Back, Ralph-Johan; Petre, Luigia; Porres, Ivan
1
2001
Encoding, decoding and data refinement. Zbl 1013.68084
Back, Ralph-Johan; von Wright, Joakim
4
2000
Class refinement as semantics of correct object substitutability. Zbl 0963.68103
Back, Ralph-Johan; Mikhajlova, Anna; von Wright, Joakim
4
2000
Contracts, games, and refinement. Zbl 1046.68571
Back, Ralph-Johan; von Wright, Joakim
3
2000
Generalizing action systems to hybrid systems. Zbl 0986.68648
Back, Ralph-Johan; Petre, Luigia; Porres, Ivan
3
2000
Reasoning algebraically about loops. Zbl 0940.68011
Back, R. J. R.; von Wright, J.
14
1999
Reasoning about interactive systems. Zbl 0953.68039
Back, Ralph; Mikhajlova, Anna; von Wright, Joakim
2
1999
Refinement calculus. A systematic introduction. Zbl 0949.68094
Back, Ralph-Johan; Von Wright, Joakim
92
1998
Refinement of fair action systems. Zbl 0898.68027
Back, Ralph J. R.; Xu, Qiwen
5
1998
Structured calculational proof. Zbl 0905.68139
Back, Ralph; Grundy, Jim; von Wright, Joakim
2
1997
Superposition refinement of reactive systems. Zbl 0852.68008
Back, R. J. R.; Sere, K.
9
1996
Specifying the Caltech asynchronous microprocessor. Zbl 0848.68022
Back, R. J. R.; Martin, A. J.; Sere, K.
2
1996
Financial statement planning in the presence of tax constraints. Zbl 0912.90095
Back, B.; Back, R. J. R.
2
1995
Games and winning strategies. Zbl 0875.68630
Back, R. J. R.; von Wright, J.
1
1995
Statement inversion and strongest postcondition. Zbl 0780.68010
Back, R. J. R.; von Wright, J.
2
1993
Combining angels, demons and miracles in program specifications. Zbl 0754.68078
Back, R. J. R.; von Wright, J.
9
1992
Superposition refinement of parallel algorithms. Zbl 0785.68060
Back, R. J. R.; Sere, K.
4
1992
On equivalence-completions of fairness assumptions. Zbl 0782.68075
Francez, Nissim; Back, Ralph-J. J.; Kurki-Suonio, Reino
3
1992
Duality in specification languages: A lattice-theoretical approach. Zbl 0699.68038
Back, R. J. R.; von Wright, J.
14
1990
Stepwise refinement of parallel algorithms. Zbl 0705.68057
Back, R. J. R.; Sere, K.
12
1990
Refinement concepts formalised in higher order logic. Zbl 0703.68074
Back, R. J. R.; von Wright, J.
6
1990
Distributed cooperation with action systems. Zbl 0663.68028
Back, R. J. R.; Kurki-Suonio, R.
23
1988
A calculus of refinements for program derivations. Zbl 0658.68018
Back, R. J. R.
21
1988
Serializability in distributed systems with hand-shaking. Zbl 0649.68020
Back, R. J. R.; Kurki-Suonio, R.
5
1988
On the suitability of trace semantics for modular proofs of communicating processes. Zbl 0567.68018
Back, R. J. R.; Mannila, H.
2
1985
A continuous semantics for unbounded nondeterminism. Zbl 0498.68005
Back, R. J. R.
9
1983
On correct refinement of programs. Zbl 0469.68012
Back, R. J. R.
13
1981
Proving total correctness of nondeterministic programs in infinitary logic. Zbl 0467.03028
Back, R. J. R.
11
1981
Correctness preserving program refinements: proof theory and applications. Zbl 0451.68018
Back, R. J. R.
44
1980
Semantics of unbounded nondeterminism. (Preprint). Zbl 0425.68021
Back, R. J.
5
1980
On the notion of correct refinement of programs. Zbl 0444.68013
Back, R. J. R.
4
1980
Proving total correctness of nondeterministic programs in infinitary logic. Zbl 0437.68008
Back, R. J. R.
3
1980
all top 5

Cited by 303 Authors

15 Back, Ralph-Johan
10 Hayes, Ian J.
9 Morgan, Carroll C.
8 Cavalcanti, Ana
8 Colvin, Robert J.
7 Meinicke, Larissa A.
7 Struth, Georg
6 Francez, Nissim
6 Guttmann, Walter
6 Hesselink, Wim H.
6 Meyer, John-Jules Charles
6 Preoteasa, Viorel
5 Foster, Simon
5 Hoare, C. A. R. Tony
5 Lammich, Peter
5 Liu, Zhiming
5 McIver, Annabelle K.
5 Naumann, David A.
5 Sere, Kaisa
5 Solin, Kim
4 Banach, Richard
4 Fidge, Colin J.
4 Jonsson, Bengt
4 Leino, K. Rustan M.
4 Olderog, Ernst-Rüdiger
4 von Wright, Joakim
4 Woodcock, James C. P.
4 Zeyda, Frank
3 Furusawa, Hitoshi
3 Grumberg, Orna
3 He, Jifeng
3 Kok, Joost N.
3 Kurki-Suonio, Reino
3 Lermer, Karl
3 Morris, Joseph M.
3 Smith, Graeme
3 Strooper, Paul A.
3 Troubitsyna, Elena A.
3 Zedan, Hussein
2 Bergstra, Jan A.
2 Cousot, Patrick
2 de Bakker, Jacobus W.
2 de Vink, Erik P.
2 Deutsch, Moshe
2 Dongol, Brijesh
2 Dunne, Steve E.
2 Fix, Limor
2 Henson, Martin C.
2 Höfner, Peter
2 Huerta y Munive, Jonathan Julián
2 Jones, Cliff B.
2 Joseph, Mathai
2 Joung, Yuh-Jzer
2 Kahl, Wolfram
2 Katz, Shmuel
2 Laibinis, Linas
2 Leuschel, Michael
2 Lochbihler, Andreas
2 Majster-Cederbaum, Mila E.
2 Mascari, Gianfranco
2 Mili, Ali
2 Möller, Bernhard
2 O’Hearn, Peter W.
2 Payton, Jamie
2 Poetzsch-Heffter, Arnd
2 Rabehaja, Tahiry M.
2 Ravn, Anders P.
2 Roman, Gruia-Catalin
2 Scholefield, David
2 Sefidgar, S. Reza
2 Stewart, Alan
2 Tchier, Fairouz
2 Tyrrell, Malcolm
2 van Staden, Stephan
2 Waldén, Marina
2 Ward, Martin P.
2 Winter, Kirsten
2 Zhan, Naijun
2 Zhu, Huibiao
1 Abba, Abdulrazaq
1 Abdulla, Parosh Aziz
1 Abrial, Jean-Raymond
1 Abrusci, Vito Michele
1 Aguirre, Nazareno M.
1 Aharon, Shir
1 Aichernig, Bernhard K.
1 Alpuim, Joao
1 Apt, Krzysztof Rafal
1 Arbab, Farhad
1 Arjona, J. L.
1 Aştefănoaei, Lăcrămioara
1 Attie, Paul C.
1 Babot, Francesc-Xavier
1 Bagrodia, Rajive L.
1 Baxter, James
1 Bendisposto, Jens
1 Benedikt, Michael A.
1 Benouhiba, Toufik
1 Benveniste, Albert
1 Berghammer, Rudolf
...and 203 more Authors

Citations by Year