Ralph-Johan Back
Abo Akademi University, Turku, Finland
http://www.abo.fi/~backrj
https://dl.acm.org/profile/81450592696
https://zbmath.org/authors/?q=ai:back.ralph-johan
https://en.wikipedia.org/wiki/Ralph-Johan_Back
https://www.wikidata.org/entity/Q7287124
http://isni.org/isni/0000000032514293
https://viaf.org/viaf/10022711
https://id.loc.gov/authorities/names/n97117919
Johannes Eriksson
Masoumeh Parsa
Ralph-Johan Back
A Precise Pictorial Language for Array Invariants.
151-160
2018
IFM
https://doi.org/10.1007/978-3-319-98938-9_9
conf/ifm/2018
db/conf/ifm/ifm2018.html#ErikssonPB18
Viorel Preoteasa
Ralph-Johan Back
Johannes Eriksson
Verification and code generation for invariant diagrams in Isabelle.
19-36
2015
84
J. Log. Algebraic Methods Program.
1
https://doi.org/10.1016/j.jlap.2013.09.001
db/journals/jlp/jlp84.html#PreoteasaBE15
Johannes Eriksson
Masoumeh Parsa
Ralph-Johan Back
Proofs and Refutations in Invariant-Based Programming.
189-204
2014
IFM
https://doi.org/10.1007/978-3-319-10181-1_12
conf/ifm/2014
db/conf/ifm/ifm2014.html#ErikssonPB14
Viorel Preoteasa
Ralph-Johan Back
Invariant diagrams with data refinement.
67-95
2012
24
Formal Aspects Comput.
1
https://doi.org/10.1007/s00165-011-0195-2
db/journals/fac/fac24.html#PreoteasaB12
Eugen Czeizler
Andrzej Mizera
Elena Czeizler
Ralph-Johan Back
John E. Eriksson
Ion Petre
Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentin.
885-898
2012
9
IEEE ACM Trans. Comput. Biol. Bioinform.
3
https://doi.org/10.1109/TCBB.2011.154
https://doi.ieeecomputersociety.org/10.1109/TCBB.2011.154
https://dl.acm.org/doi/10.1109/TCBB.2011.154
https://www.wikidata.org/entity/Q46146619
db/journals/tcbb/tcbb9.html#CzeizlerMCBEP12
Mikolaj Olszewski
Ralph-Johan Back
Agile Development with Stepwise Feature Introduction.
161-166
2012
ENASE
conf/enase/2012
db/conf/enase/enase2012.html#OlszewskiB12
Ion Petre
Andrzej Mizera
Claire L. Hyder
Annika Meinander
Andrey Mikhailov
Richard I. Morimoto
Lea Sistonen
John E. Eriksson
Ralph-Johan Back
A simple mass-action model for the eukaryotic heat shock response and its mathematical validation.
595-612
2011
10
Nat. Comput.
1
https://doi.org/10.1007/s11047-010-9216-y
db/journals/nc/nc10.html#PetreMHMMMSEB11
Ralph-Johan Back
Viorel Preoteasa
Semantics and proof rules of invariant based programs.
1658-1665
2011
SAC
https://doi.org/10.1145/1982185.1982532
conf/sac/2011
db/conf/sac/sac2011.html#BackP11
Ralph-Johan Back
Johannes Eriksson
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support
ThEdu
2011
29-48
https://doi.org/10.4204/EPTCS.79.2
http://arxiv.org/abs/1202.4829
journals/corr/abs-1202-4535
db/series/eptcs/eptcs79.html#abs-1202-4829
Pedro Quaresma
Ralph-Johan Back
Proceedings First Workshop on CTP Components for Educational Software, THedu'11, Wroclaw, Poland, 31th July 2011.
ThEdu
https://doi.org/10.4204/EPTCS.79
http://arxiv.org/abs/1202.4535
2011
EPTCS
79
db/series/eptcs/eptcs79.html
Corrado Priami
Ralph-Johan Back
Ion Petre
Erik P. de Vink
Transactions on Computational Systems Biology XIII
6575
2011
Springer
Lecture Notes in Computer Science
https://doi.org/10.1007/978-3-642-19748-2
978-3-642-19747-5
Trans. Computational Systems Biology
db/journals/tcsb/tcsb13.html
Viorel Preoteasa
Ralph-Johan Back
Semantics and Data Refinement of Invariant Based Programs.
2010
2010
Formal proof development
Arch. Formal Proofs
https://www.isa-afp.org/entries/DataRefinementIBP.shtml
db/journals/afp/afp2010.html#PreoteasaB10
Viorel Preoteasa
Ralph-Johan Back
Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement.
2010
2010
Formal proof development
Arch. Formal Proofs
https://www.isa-afp.org/entries/GraphMarkingIBP.shtml
db/journals/afp/afp2010.html#PreoteasaB10a
Ralph-Johan Back
Structured derivations: a unified proof style for teaching mathematics.
629-661
2010
22
Formal Aspects Comput.
5
https://doi.org/10.1007/s00165-009-0136-5
db/journals/fac/fac22.html#Back10
Johannes Eriksson
Ralph-Johan Back
Applying PVS Background Theories and Proof Strategies in Invariant Based Programming.
24-39
2010
ICFEM
https://doi.org/10.1007/978-3-642-16901-4_4
conf/icfem/2010
db/conf/icfem/icfem2010.html#ErikssonB10
Ralph-Johan Back
Invariant based programming: basic approach and teaching experiences.
227-244
2009
21
Formal Aspects Comput.
3
https://doi.org/10.1007/s00165-008-0070-y
db/journals/fac/fac21.html#Back09
Ion Petre
Andrzej Mizera
Claire L. Hyder
Andrey Mikhailov
John E. Eriksson
Lea Sistonen
Ralph-Johan Back
A New Mathematical Model for the Heat Shock Response.
411-425
2009
Algorithmic Bioprocesses
https://doi.org/10.1007/978-3-540-88869-7_21
conf/birthday/2009rozenberg
db/conf/birthday/rozenberg2009.html#PetreMHMESB09
Ion Petre
Andrzej Mizera
Ralph-Johan Back
Computational Heuristics for Simplifying a Biological Model.
399-408
2009
CiE
https://doi.org/10.1007/978-3-642-03073-4_41
conf/cie/2009
db/conf/cie/cie2009.html#PetreMB09
Elena Czeizler
Eugen Czeizler
Ralph-Johan Back
Ion Petre
Control Strategies for the Regulation of the Eukaryotic Heat Shock Response.
111-125
2009
CMSB
https://doi.org/10.1007/978-3-642-03845-7_8
conf/cmsb/2009
db/conf/cmsb/cmsb2009.html#CzeizlerCBP09
Viorel Preoteasa
Ralph-Johan Back
Data Refinement of Invariant Based Programs.
143-163
2009
conf/refine/2009
REFINE@FMWeek
https://doi.org/10.1016/j.entcs.2009.12.022
db/journals/entcs/entcs259.html#PreoteasaB09
Ralph-Johan Back
Ion Petre
Erik P. de Vink
Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009.
COMPMOD
https://doi.org/10.4204/EPTCS.6
http://arxiv.org/abs/0910.1605
2009
EPTCS
6
db/series/eptcs/eptcs6.html
Corrado Priami
Ralph-Johan Back
Ion Petre
Transactions on Computational Systems Biology XI
5750
2009
https://doi.org/10.1007/978-3-642-04186-0
978-3-642-04185-3
Lecture Notes in Computer Science
Springer
Trans. Computational Systems Biology
db/journals/tcsb/tcsb11.html
Mauno Rönkkö
Marina Waldén
Ralph-Johan Back
Beyond particle systems: Operator networks.
834-847
2008
16
Simul. Model. Pract. Theory
7
https://doi.org/10.1016/j.simpat.2008.05.003
db/journals/simpra/simpra16.html#RonkkoWB08
Ralph-Johan Back
Refinement Calculus as a Theory of Contracts (Invited Paper).
1
2008
UTP
https://doi.org/10.1007/978-3-642-14521-6_1
conf/utp/2008
db/conf/utp/utp2008.html#Back08
Ralph-Johan Back
Johannes Eriksson
Magnus Myreen
Testing and Verifying Invariant Based Programs in the SOCOS Environment.
61-78
2007
conf/tap/2007
TAP
https://doi.org/10.1007/978-3-540-73770-4_4
db/conf/tap/tap2007.html#BackEM07
Ralph-Johan Back
Incremental Software Construction with Refinement Diagrams.
1
2006
conf/amast/2006
AMAST
https://doi.org/10.1007/11784180_1
db/conf/amast/amast2006.html#Back06
Ralph-Johan Back
Invariant Based Programming.
1-18
2006
conf/apn/2006
ICATPN
https://doi.org/10.1007/11767589_1
db/conf/apn/icatpn2006.html#Back06
Ralph-Johan Back
Viorel Preoteasa
An algebraic treatment of procedure refinement to support mechanical verification.
69-90
2005
17
Formal Aspects Comput.
1
https://doi.org/10.1007/s00165-004-0060-7
db/journals/fac/fac17.html#BackP05
Ralph-Johan Back
Magnus Myreen
Tool Support for Invariant Based Programming.
711-718
2005
conf/apsec/2005
APSEC
https://doi.org/10.1109/APSEC.2005.104
https://doi.ieeecomputersociety.org/10.1109/APSEC.2005.104
db/conf/apsec/apsec2005.html#BackM05
Ralph-Johan Back
Luka Milovanov
Ivan Porres
Software Development and Experimentation in an Academic Environment: The Gaudi Experience.
414-428
2005
conf/profes/2005
PROFES
https://doi.org/10.1007/11497455_33
db/conf/profes/profes2005.html#BackMP05
Ralph-Johan Back
Johannes Eriksson
Luka Milovanov
Using Stepwise Feature Introduction in Practice: An Experience Report.
2-17
2005
conf/rise/2005
RISE
https://doi.org/10.1007/11751113_2
db/conf/rise/rise2005.html#BackEM05
Ralph-Johan Back
Cristina Cerschi Seceleanu
Contracts and Games in Controller Synthesis for Discrete Systems.
307-315
2004
conf/ecbs/2004
ECBS
https://doi.org/10.1109/ECBS.2004.1316713
https://doi.ieeecomputersociety.org/10.1109/ECBS.2004.1316713
db/conf/ecbs/ecbs2004.html#BackS04
Ralph-Johan Back
Piia Hirkman
Luka Milovanov
Evaluating the XP Customer Model and Design by Contract.
318-325
2004
conf/euromicro/2004
EUROMICRO
https://doi.org/10.1109/EURMIC.2004.1333386
https://doi.ieeecomputersociety.org/10.1109/EURMIC.2004.1333386
db/conf/euromicro/euromicro2004.html#BackHM04
Ralph-Johan Back
Joakim von Wright
Compositional Action System Refinement.
103-117
2003
15
Formal Aspects Comput.
2-3
https://doi.org/10.1007/s00165-003-0005-6
db/journals/fac/fac15.html#BackW03
Ralph-Johan Back
Xiaocong Fan
Viorel Preoteasa
Reasoning about Pointers in Refinement Calculus.
425-
2003
conf/apsec/2003
APSEC
https://doi.org/10.1109/APSEC.2003.1254398
https://doi.ieeecomputersociety.org/10.1109/APSEC.2003.1254398
db/conf/apsec/apsec2003.html#BackFP03
Ralph-Johan Back
Viorel Preoteasa
Reasoning about recursive procedures with parameters.
2003
conf/icfp/2003merlin
MERLIN
https://doi.org/10.1145/976571.976573
db/conf/icfp/merlin2003.html#BackP03
Ralph-Johan Back
Dag Björklund
Johan Lilius
Luka Milovanov
Ivan Porres
A Workbench to Experiment on New Model Engineering Applications.
96-100
https://doi.org/10.1007/978-3-540-45221-8_9
2003
conf/uml/2003
UML
db/conf/uml/uml2003.html#BackBLMP03
Ralph-Johan Back
Cristina Cerschi Seceleanu
Jan Westerholm
Symbolic Simulation of Hybrid Systems.
147-
2002
conf/apsec/2002
APSEC
https://doi.org/10.1109/APSEC.2002.1182984
https://doi.ieeecomputersociety.org/10.1109/APSEC.2002.1182984
db/conf/apsec/apsec2002.html#BackSW02
Ralph-Johan Back
SFI: A Refinement Based Layered Software Architecture.
1-2
2002
conf/icfem/2002
ICFEM
https://doi.org/10.1007/3-540-36103-0_1
db/conf/icfem/icfem2002.html#Back02
Ralph-Johan Back
Software Construction by Stepwise Feature Introduction.
162-183
2002
conf/zum/2002
ZB
https://doi.org/10.1007/3-540-45648-1_9
db/conf/zum/zb2002.html#Back02
Ralph-Johan Back
Joakim von Wright
Compositional Action System Refinement.
2002
conf/refine/2002
Refine
3
https://doi.org/10.1016/S1571-0661(05)80479-7
db/conf/refine/refine2002.html#BackW02
Ralph-Johan Back
Luigia Petre
Ivan Porres
Continuous Action Systems as a Model for Hybrid Systems.
2-21
2001
8
Nord. J. Comput.
1
db/journals/njc/njc8.html#BackPP01
Ralph-Johan Back
Anna Mikhajlova
Joakim von Wright
Class Refinement as Semantics of Correct Object Substitutability.
18-40
2000
12
Formal Aspects Comput.
1
https://doi.org/10.1007/s001650070034
db/journals/fac/fac12.html#BackMW00
Ralph-Johan Back
Joakim von Wright
Encoding, Decoding and Data Refinement.
313-349
2000
12
Formal Aspects Comput.
5
https://doi.org/10.1007/s001650070008
db/journals/fac/fac12.html#BackW00
Ralph-Johan Back
Joakim von Wright
Contracts, Games, and Refinement.
25-45
2000
156
Inf. Comput.
1-2
db/journals/iandc/iandc156.html#BackW00
https://doi.org/10.1006/inco.1999.2820
Ralph-Johan Back
Luigia Petre
Ivan Porres
Generalizing Action Systems to Hybrid Systems.
202-213
https://doi.org/10.1007/3-540-45352-0_17
2000
conf/ftrtft/2000
FTRTFT
db/conf/ftrtft/ftrtft2000.html#BackPP00
Ralph-Johan Back
Joakim von Wright
Reasoning Algebraically about Loops.
295-334
1999
36
Acta Informatica
4
https://doi.org/10.1007/s002360050163
db/journals/acta/acta36.html#BackW99
Martin Büchi
Ralph-Johan Back
Compositional Symmetric Sharing in B.
431-451
1999
conf/fm/1999-1
World Congress on Formal Methods
https://doi.org/10.1007/3-540-48119-2_25
db/conf/fm/fm1999-1.html#BuchiB99
Ralph-Johan Back
Anna Mikhajlova
Joakim von Wright
Reasoning About Interactive Systems.
1460-1476
1999
conf/fm/1999-2
World Congress on Formal Methods
https://doi.org/10.1007/3-540-48118-4_27
db/conf/fm/fm1999-2.html#BackMW99
Luigia Petre
Ralph-Johan Back
Ivan Paltor
Analysing UML Use Cases as Contracts.
518-533
1999
conf/uml/1999
UML
db/conf/uml/uml1999.html#PetreBP99
https://doi.org/10.1007/3-540-46852-8_37
Ralph-Johan Back
Joakim von Wright
Refinement Calculus - A Systematic Introduction.
I-XV, 1-519
Springer
1998
Graduate Texts in Computer Science
978-0-387-98417-9
978-1-4612-1674-2
https://doi.org/10.1007/978-1-4612-1674-2
Ralph-Johan Back
Qiwen Xu
Refinement of Fair Action Systems.
131-165
1998
35
Acta Informatica
2
https://doi.org/10.1007/s002360050116
db/journals/acta/acta35.html#BackX98
Ralph-Johan Back
Michael J. Butler
Fusion and Simultaneous Execution in the Refinement Calculus.
921-949
1998
35
Acta Informatica
11
https://doi.org/10.1007/s002360050148
db/journals/acta/acta35.html#BackB98
Ralph-Johan Back
Jim Grundy
Joakim von Wright
Structured Calculational Proof.
469-483
1997
9
Formal Aspects Comput.
5-6
db/journals/fac/fac9.html#BackGW97
https://doi.org/10.1007/BF01211456
Ralph-Johan Back
Martin Büchi
Emil Sekerinski
Action-Based Concurrency and Synchronization for Objects.
248-262
1997
conf/arts/1997
ARTS
db/conf/arts/arts1997.html#BackBS97
https://doi.org/10.1007/3-540-63010-4_17
Ralph-Johan Back
Joakim von Wright
Contracts, games and refinement.
1997
conf/express/1997
EXPRESS
https://doi.org/10.1016/S1571-0661(05)80464-5
db/journals/entcs/entcs7.html#BackW97
20-33
Ralph-Johan Back
Kaisa Sere
Superposition Refinement of Reactive Systems.
324-346
1996
8
Formal Aspects Comput.
3
db/journals/fac/fac8.html#BackS96
https://doi.org/10.1007/BF01214918
Ralph-Johan Back
Alain J. Martin
Kaisa Sere
Specifying the Caltech Asynchronous Microprocessor.
79-97
1996
26
Sci. Comput. Program.
1-3
db/journals/scp/scp26.html#BackMS96
https://doi.org/10.1016/0167-6423(95)00023-2
Ralph-Johan Back
Kaisa Sere
From Action Systems to Modular Systems.
26-39
1996
17
Softw. Concepts Tools
1
db/journals/stp/stp17.html#BackS96
Ralph-Johan Back
Joakim von Wright
Games and Winning Strategies.
165-172
1995
53
Inf. Process. Lett.
3
db/journals/ipl/ipl53.html#BackW95
https://doi.org/10.1016/0020-0190(94)00206-E
Ralph-Johan Back
Michael J. Butler
Exploring Summation and Product Operators in the Refinement Calculus.
128-158
1995
conf/mpc/1995
MPC
db/conf/mpc/mpc95.html#BackB95
https://doi.org/10.1007/3-540-60117-1_8
Ralph-Johan Back
Alain J. Martin
Kaisa Sere
An Action System Specification of the Caltech Asynchronous Microprocessor.
159-179
1995
conf/mpc/1995
MPC
db/conf/mpc/mpc95.html#BackMS95
https://doi.org/10.1007/3-540-60117-1_9
Ralph-Johan Back
Joakim von Wright
Trace Refinement of Action Systems.
367-384
1994
conf/concur/1994
CONCUR
db/conf/concur/concur1994.html#BackW94
https://doi.org/10.1007/978-3-540-48654-1_28
Ralph-Johan Back
Kaisa Sere
From Action Systems to Modular Systems.
1-25
1994
conf/fm/1994
FME
db/conf/fm/fme1994.html#BackS94
https://doi.org/10.1007/3-540-58555-9_83
Ralph-Johan Back
Kaisa Sere
Action Systems with Synchronous Communication.
107-126
1994
conf/procomet/1994
PROCOMET
db/conf/procomet/procomet1994.html#BackS94
Hong Shen 0001
Ralph-Johan Back
Construction of large-size interconnection networks with high performance.
399-414
1993
23
Networks
4
https://doi.org/10.1002/net.3230230421
db/journals/networks/networks23.html#ShenB93
Ralph-Johan Back
Joakim von Wright
Statement Inversion and Strongest Postcondition.
223-251
1993
20
Sci. Comput. Program.
3
db/journals/scp/scp20.html#BackW93
https://doi.org/10.1016/0167-6423(93)90015-H
Nissim Francez
Ralph-Johan Back
Reino Kurki-Suonio
On Equivalence-Completions of Fairness Assumtions.
582-591
1992
4
Formal Aspects Comput.
6
db/journals/fac/fac4.html#FrancezBK92
https://doi.org/10.1007/BF01211476
Hong Shen 0001
Ralph-Johan Back
Construction of large-size interconnection networks with high performance.
545-554
1992
35
Microprocess. Microprogramming
1-5
https://doi.org/10.1016/0165-6074(92)90367-G
db/journals/jsa/jsa35.html#ShenB92
Ralph-Johan Back
Joakim von Wright
Combining Angles, Demons and Miracles in Program Specifications.
365-383
1992
100
Theor. Comput. Sci.
2
db/journals/tcs/tcs100.html#BackW92
https://doi.org/10.1016/0304-3975(92)90309-4
Ralph-Johan Back
Refinement Calculus, Lattices and Higher Order Logic.
53-71
1992
NATO ASI PDC
https://doi.org/10.1007/978-3-662-02880-3_2
conf/nato/1992pdc
db/conf/nato/pdc1992.html#Back92
Ralph-Johan Back
Refinement of Parallel and Reactive Programs.
73-92
1992
NATO ASI PDC
https://doi.org/10.1007/978-3-662-02880-3_3
conf/nato/1992pdc
db/conf/nato/pdc1992.html#Back92a
Ralph-Johan Back
Joakim von Wright
Predicate Transformers and Higher Order Logic.
1-20
1992
conf/rex/1992
REX Workshop
db/conf/rex/rex92.html#BackW92
https://doi.org/10.1007/3-540-56596-5_26
Ralph-Johan Back
Kaisa Sere
Stepwise Refinement of Action Systems.
17-30
1991
12
Struct. Program.
1
db/journals/stp/stp12.html#BackS91
Ralph-Johan Back
Kaisa Sere
Superposition Refinement of Parallel Algorithms.
475-493
1991
conf/forte/1991
FORTE
db/conf/forte/forte1991.html#BackS91
Ralph-Johan Back
Joakim von Wright
Duality in Specification Languages: A Lattice-Theoretical Approach.
583-625
1990
27
Acta Informatica
7
db/journals/acta/acta27.html#BackW89
https://doi.org/10.1007/BF00259469
M. Aspnäs
Ralph-Johan Back
A programming environment for a transputer-based multiprocessor system.
291-301
1990
9
Acta Cybern.
3
db/journals/actaC/actaC9.html#AspnasB90
https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3375
Ralph-Johan Back
Joakim von Wright
Refinement Concepts Formalised in Higher Order Logic.
247-272
1990
2
Formal Aspects Comput.
3
db/journals/fac/fac2.html#BackW90
https://doi.org/10.1007/BF01888227
M. Aspnäs
Ralph-Johan Back
T.-E. Malén
Hathi-2 multiprocessor system.
457-466
1990
14
Microprocess. Microsystems
7
https://doi.org/10.1016/0141-9331(90)90024-P
db/journals/mam/mam14.html#AspnasBM90
Ralph-Johan Back
Joakim von Wright
Refinement Concepts Formalized in Higher Order Logic.
179-200
1990
Programming Concepts and Methods
conf/ifip2/1990
db/conf/ifip2/pcm1990.html#BackW90
Ralph-Johan Back
Reino Kurki-Suonio
Superposition and fairness in reactive system refinement.
162-172
1990
Jerusalem Conference on Information Technology
https://doi.org/10.1109/JCIT.1990.128282
https://doi.ieeecomputersociety.org/10.1109/JCIT.1990.128282
http://dl.acm.org/citation.cfm?id=100541
conf/jcit/1990
db/conf/jcit/jcit1990.html#BackK90
Ralph-Johan Back
Reino Kurki-Suonio
Decentralization of Process Nets with Centralized Control.
73-87
1989
3
Distributed Comput.
2
db/journals/dc/dc3.html#BackK89
https://doi.org/10.1007/BF01558665
Ralph-Johan Back
Kaisa Sere
Stepwise Refinement of Parallel Algorithms.
133-180
1989
13
Sci. Comput. Program.
1
db/journals/scp/scp13.html#BackS89
https://doi.org/10.1016/0167-6423(90)90069-P
Ralph-Johan Back
Kaisa Sere
Stepwise Refinement of Action Systems.
115-138
1989
conf/mpc/1989
MPC
db/conf/mpc/mpc89.html#BackS89
https://doi.org/10.1007/3-540-51305-1_7
Ralph-Johan Back
Joakim von Wright
A Lattice-theoretical Basis for a Specification Language.
139-156
1989
conf/mpc/1989
MPC
db/conf/mpc/mpc89.html#BackW89
https://doi.org/10.1007/3-540-51305-1_8
Ralph-Johan Back
A Method for Refining Atomicity in Parallel Algorithms.
199-216
1989
conf/parle/1989-2
PARLE (2)
db/conf/parle/parle89-2.html#Back89
https://doi.org/10.1007/3-540-51285-3_42
Ralph-Johan Back
Joakim von Wright
Refinement Calculus, Part I: Sequential Nondeterministic Programs.
42-66
1989
conf/rex/1989
REX Workshop
db/conf/rex/rex89.html#BackW89
https://doi.org/10.1007/3-540-52559-9_60
Ralph-Johan Back
Refinement Calculus, Part II: Parallel and Reactive Programs.
67-93
1989
conf/rex/1989
REX Workshop
db/conf/rex/rex89.html#Back89
https://doi.org/10.1007/3-540-52559-9_61
Ralph-Johan Back
A Calculus of Refinements for Program Derivations.
593-624
1988
25
Acta Informatica
6
db/journals/acta/acta25.html#Back88
https://doi.org/10.1007/BF00291051
Ralph-Johan Back
Reino Kurki-Suonio
Distributed Cooperation with Action Systems.
513-554
1988
10
ACM Trans. Program. Lang. Syst.
4
https://doi.org/10.1145/48022.48023
db/journals/toplas/toplas10.html#BackK88
Ralph-Johan Back
Reino Kurki-Suonio
Serializability in Distributed Systems with Handshaking.
52-66
1988
conf/icalp/1988
ICALP
db/conf/icalp/icalp88.html#BackK88
https://doi.org/10.1007/3-540-19488-6_106
Ralph-Johan Back
Reino Kurki-Suonio
A new paradigm for the design of concurrent systems.
110-112
1987
IRTAW
https://doi.org/10.1145/36821.36815
conf/irtaw/1987
db/conf/irtaw/irtaw1987.html#BackK87
Ralph-Johan Back
Heikki Mannila
On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes.
47-68
1985
39
Theor. Comput. Sci.
db/journals/tcs/tcs39.html#BackM85
https://doi.org/10.1016/0304-3975(85)90130-6
A Semantic Approach to Program Modularity
Ralph-Johan Back
Heikki Mannila
138-167
Inf. Control.
January/February/March
1984
60
1-3
db/journals/iandc/iandc60.html#BackM84
https://doi.org/10.1016/S0019-9958(84)80026-1
Ralph-Johan Back
A Continuous Semantics for Unbounded Nondeterminism.
187-210
1983
23
Theor. Comput. Sci.
db/journals/tcs/tcs23.html#Back83
https://doi.org/10.1016/0304-3975(83)90055-5
https://www.wikidata.org/entity/Q127343003
Ralph-Johan Back
Reino Kurki-Suonio
Decentralization of Process Nets with Centralized Control.
131-142
1983
conf/podc/1983
PODC
db/conf/podc/podc83.html#BackK83
https://doi.org/10.1145/800221.806716
Ralph-Johan Back
Heikki Mannila
Kari-Jouko Räihä
Derivation of Efficient DAG Marking Algorithms.
20-27
1983
conf/popl/1983
POPL
db/conf/popl/popl83.html#BackMR83
https://doi.org/10.1145/567067.567071
Ralph-Johan Back
Heikki Mannila
Locality in Modular Systems.
1-13
1982
conf/icalp/1982
ICALP
db/conf/icalp/icalp82.html#BackM82
https://doi.org/10.1007/BFb0012752
Ralph-Johan Back
Heikki Mannila
A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract).
111-120
1982
conf/podc/1982
PODC
db/conf/podc/podc82.html#BackM82
https://doi.org/10.1145/800220.806688
Ralph-Johan Back
Proving Total Correctness of Nondeterministic Programs in Infinitary Logic.
233-249
1981
15
Acta Informatica
db/journals/acta/acta15.html#Back81
https://doi.org/10.1007/BF00289263
Ralph-Johan Back
On Correct Refinement of Programs.
49-68
1981
23
J. Comput. Syst. Sci.
1
db/journals/jcss/jcss23.html#Back81
https://doi.org/10.1016/0022-0000(81)90005-2
Ralph-Johan Back
Semantics of Unbounded Nondeterminism.
51-63
1980
conf/icalp/1980
ICALP
db/conf/icalp/icalp80.html#Back80
https://doi.org/10.1007/3-540-10003-2_59
Ralph-Johan Back
Exception Handling with Multi-Exit Statements.
71-82
1980
conf/programmier/1980
Fachtagung über Programmiersprachen
db/conf/programmier/programmier1980.html#Back80
https://doi.org/10.1007/978-3-642-67600-0_6
M. Aspnäs
Dag Björklund
Martin Büchi
Michael J. Butler
Elena Czeizler
Eugen Czeizler
Johannes Eriksson
John E. Eriksson
Xiaocong Fan
Nissim Francez
Jim Grundy
Piia Hirkman
Claire L. Hyder
Reino Kurki-Suonio
Johan Lilius
T.-E. Malén
Heikki Mannila
Alain J. Martin
Annika Meinander
Andrey Mikhailov
Anna Mikhajlova
Luka Milovanov
Andrzej Mizera
Richard I. Morimoto
Magnus O. MyreenMagnus Myreen
Mikolaj Olszewski
Ivan Paltor
Masoumeh Parsa
Ion Petre
Luigia Petre
Ivan Porres
Viorel Preoteasa
Corrado Priami
Pedro Quaresma
Kari-Jouko Räihä
Mauno Rönkkö
Cristina Cerschi Seceleanu
Emil Sekerinski
Kaisa Sere
Hong Shen 0001
Lea Sistonen
Erik P. de Vink
Marina Waldén
Jan Westerholm
Joakim von Wright
Qiwen Xu