1. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Combining angels, demons and miracles in program specifications / R. J. R.
Back, J. von Wright. - Åbo : Åbo Akademi, 1989. - 18 lehteä : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 86).
Sarjalla myös engl. nimeke.
ISBN 951-649-626-1 UDK 681.3, 51 |
|
2. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Duality in specification languages : a lattice-theoretical approach / R. J. R.
Back, J. von Wright. - Åbo : Åbo Akademi, 1989. - 37 blad
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 77).
ISBN 951-649-592-3 UDK 51 |
|
3. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Efficient implementation of multi-process handshaking on broadcasting networks
/ M. Aspnäs, R. J. R. Back, R. Kurki-Suonio. - Åbo : Åbo Akademi, 1989. - 20
blad : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 75).
ISBN 951-649-572-9 UDK 681.3 |
|
4. | Back, Ralph-Johan / Institutionen för informationsbehandling |
The Hathi-2 multiprocessor systems / M. Aspnäs, R. J. R. Back, T.-E. Malén. -
Åbo : Åbo Akademi, 1989.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A ; 80
).
ISBN 951-649-604-0 |
|
5. | Back, Ralph-Johan / Institutionen för informationsbehandling |
The Hathi project : a research project on parallel programming technology
1986-1988 (final report) / M. Aspnäs, R. J. R. Back, K. Sere. - Åbo : Åbo
Akademi, 1989. - 55 blad : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 95).
ISBN 951-649-654-7 UDK 681.3 |
|
6. | Back, Ralph-Johan / Institutionen för informationsbehandling |
A lattice-theorethical basis for a specification language / R. J. R. Back, J.
von Wright.
- Ingår i: Mathematics of progran construction : 375th anniversary of the Groningen university international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings / J. L. A. van de Snepscheut (ed.). - Berlin : Springer, 1989, s. 139-156. - (Lecture Notes in Computer Science ; 375). ISBN 3-540-51305-1 0-387-51305-1 |
|
7. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Multiprocessor applications in the Hathi project / M. Aspnäs, R. J. R. Back. -
Åbo : Åbo Akademi, 1989. - 17 blad : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 96).
Även i: Scientific computing in Finland, K. Kankala, R. Nieminen, eds. CSC
research reports R1/89, s. 5-21.
ISBN 951-649-655-5 UDK 681.3 |
|
8. | Back, Ralph-Johan / Institutionen för informationsbehandling |
A programming environment for a transputer-based multiprocessor system / M.
Aspnäs, R. J. R. Back. - Åbo : Åbo Akademi, 1989. - 10 blad : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 82).
Även som abstract i: T. Gyimothy (ed.), Symposium on programming languages and
software tools.
ISBN 951-649-608-3 UDK 681.3 |
|
9. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Refinement calculus : part 1: sequential nondeterministic programs / R. J. R.
Back, J. von Wright. - Åbo : Åbo Akademi, 1989.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A ; 92
).
ISBN 951-649-651-2 |
|
10. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Refinement calculus : part 2: parallel and reactive programs / R. J. R. Back. -
Åbo : Åbo Akademi, 1989.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A ; 93
).
ISBN 951-649-652-0 |
|
11. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Refinement concepts formalized in higher order logic / R. J. R. Back, J. von
Wright. - Åbo : Åbo Akademi, 1989. - 21 blad
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 85).
ISBN 951-649-623-7 UDK 681.3, 51 |
|
12. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Stepwise refinement of action systems / R. J. R. Back, K. Sere. - Åbo : Åbo
Akademi, 1989. - 22 blad : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 78).
Även i: van de Snepscheut (ed.), Mathematics of program construction. 375
anniversary of the Groningen university international conference, Groningen,
The Netherlands 29-30 June 1989. Proceedings s 115-138.
ISBN 951-649-593-1 UDK 51 |
|
13. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Deriving an occam implementation of action systems / R. J. R. Back, K. Sere. -
Åbo : Åbo Akademi, 1990. - 24 blad : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 99).
Även i: Proceedings of Third Refinement Workshop. BC FACS/IBM UK/Oxford
university PRG 1990.
ISBN 951-649-685-7 UDK 51 |
|
14. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Stepwise refinement of parallel algorithms / R. J. R. Back, K. Sere.
- Ingår i: Science of computer programming, ISSN 0167-6423, 13 (1990) 2-3, s. 133-188. Tidigare publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 64. |
|
15. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Duality in specification languages : a latice theoretic approach / R. J. R.
Back, J. von Wright.
- Ingår i: Acta informatica, ISSN 0001-5903, 24 (1990) 7, s. 583-625. Tidigare publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 77. |
|
16. | Back, Ralph-Johan / Institutionen för informationsbehandling |
A method for refining atomicity in parallel algorithms / R. J. R. Back.
- Ingår i: PARLE '89 Parallel Architectures and Languages Europe, Eindhoven, The Netherlands, June 12-16, 1989 : proceedings / E. Odijk, M. Rem, J.-C. Syre (eds.). - Berlin : Springer, 1989, s. 199-216. - (Lecture notes in computer science ; 366). ISBN 3-540-51285-3 UDK 519.683:519.682:061.3 |
|
17. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Refinement calculus : part II: parallel and reactive programs / R. J. R. Back.
- Ingår i: Stepwise refinement of distributed systems : models, formalisms, correctness REX Workshop, Mook, The Netherlands May 29-June 2, 1989 proceedings / J. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.). - Berlin : Springer, 1990, s. 67-93. - (Lecture notes in computer science ; 430). Tidigare publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563, no 93. ISBN 3-540-52559-9 UDK 519.681:681.3.01:061.3 |
|
18. | Back, Ralph-Johan / Institutionen för informationsbehandling |
A programming environment for a transputer-based multiprocessor system / M.
Aspnäs, R. J. R. Back.
- Ingår i: Acta cybernetica, ISSN 0324-5547, 9 (1990) 3, s. 291-301. Tidigar publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 82. |
|
19. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Hathi-2 multiprocessor system / M. Aspnäs, R. J. R. Back, T.-E. Malen.
- Ingår i: Microprocessors and microsystems, ISSN 0141-9331, 14 (1990) 7, s. 457-465. Tidigare publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; 80. |
|
20. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Refinement concepts formalized in higher order logic / R. J. R. Back, J. von
Wright.
- Ingår i: Formal aspects of computing, ISSN 0934-5043, (1990) 2, s. 247-277. |
|
21. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Analysis of three-dimensional nuclear data on a transputer-based multiprocessor
system / R. J. R. Back...et al.. - Åbo : Åbo Akademi, 1991. - 16 bl. : ill.,
diagr.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 121).
ISBN 951-649-854-X UDK 681.3 |
|
22. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Centipede : formaalin ohjelmakehityksen ympäristö / Kaisa Sere, Ralph-Johan
Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 123-125. ISBN 951-47-1910-7 |
|
23. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Constructing of large-size interconnection : networks with high performance /
H. Shen, R. J. Back. - Åbo : Åbo Akademi, 1991. - 24 bl. : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 124).
ISBN 951-649-854-X UDK 681.3 |
|
24. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Deriving an occam implementation of action systems / R. J. R. Back and K. Sere.
- Ingår i: 3rd Refinemnt Workshop : proceedings of the 3rd refinement workshop (organised by BCS-FACS, and sponsored by IBM UK laboratories, Hursley Park and the Programming Research Group, University of Oxford), 9-11 January 1990, Hursley Park. - London : Springer, 1991, s. 9-30. - (Works in computing). ISBN 3-540-19624-2 |
|
25. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Millipede : a programming environment providing visual support for parallel
programming / M. Aspnäs, R.-J. Back, T. Långbacka. - Turku : Åbo Akademi
University, 1991. - 12 bl. : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 129).
|
|
26. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Millipede-rinnakkaisjärjestelmien ohjelmointiympäristö / Mats Aspnäs, Ralph
Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 31-34. ISBN 951-47-1910-7 |
|
27. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Rinnakkaisohjelmien astettain tarkentaminen / Kaisa Sere, Ralph-Johan Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 116-122. ISBN 951-47-1910-7 |
|
28. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Rinnakkaisohjelman sovittaminen moniprosessorikoneelle / Mats Aspnäs, Ralph
Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 27-30. ISBN 951-47-1910-7 |
|
29. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Rinnakkaisohjelman tehokkuuden arviointi / Mats Aspnäs, Ralph Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 35-39. ISBN 951-47-1910-7 |
|
30. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Stepwise refinement of action system / R. J. R. Back, K. Sere.
- Ingår i: Structured programming, ISSN 0935-1183, 12 (1991) s. 17-30. |
|
31. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Superposition refinement of parallel algorithms / R. J. R. Back, K. Sere. -
Utrecht : Utrecht University. Department on Computer Science, 1991. - 20 s. :
ill.
- (Technical report RUU-CS ; 91, 34).
|
|
32. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Tarkennuskalkyyli formaalin ohjelmankehityksen perustana / Kaisa Sere and
Ralph-Johan Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 107-112. ISBN 951-47-1910-7 |
|
33. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Centipede : a program refinement environment / R. J. R. Back, J. Hekanaho, K.
Sere. - Åbo : Åbo akademi, 1992. - 21 s. : ill.
- (Reports on computer science and mathematics, ISSN 1235-7502 ; no 139).
ISBN 951-650-123-0 |
|
34. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Combining angels, demons and miracles in program specifications / R. J. R. Back
and J. von Wright.
- Ingår i: Theoretical computer science, ISSN 0304-3975, 100 (1992) s. 365-383. |
|
35. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Construction of large-size communication network with high performance / H.
Sheng, R. J. R. Back.
- Ingår i: Microprocessing and microprogramming, ISSN 0165-6074, 35 (1992) s. 545-554. Tidigare publ. som: Rapporter från Åbo akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; 121.. |
|
36. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Construction of large-size interconnection networks with high performance / H.
Shen and R. J. R. Back.
- Ingår i: Microprocessing and microprogramming, ISSN 0165-6074, 35 (1992) ns. 1-5, s. 545-554. Software and hardware : specification and design : eighteenth Euromicro symposium on microprocessing and microprogramming (Euromicro 1992), Paris, September 14-17, 1992. |
|
37. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Millipede : a programming environment providing visual support for parallel
programming / M. Aspnäs, R. J. R. Back, T. Långbacka.
- Ingår i: Parallel computing: from theory to sound practice : proceedings of EWPC'92, the European Workshops on Parallel Computing, 23-24 March 1992 - Barcelona, Spain / ed. by Wouter Joosen and Elie Milgrom. - Amsterdam : IOS press, 1992, s. 236-247. ISBN 90-5199-080-4 |
|
38. | Back, Ralph-Johan / Institutionen för informationsbehandling |
Superposition refinement of parallel algorithms / R. J. R. Back and K. Sere.
- Ingår i: Formal description techniques, IV : IV: proceedings of the IFIP TC6/WG 6.1 Fourth international conference on formal description techniques for distribution system and communication protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 / ed. by K. R. Parker, G. A. Rose. - Amsterdam : North-Holland, 1992, s. 475-494. - (IFIP transactions. C, communication system, ISSN 0926-549X ; C-2). ISBN 0-444-89402-0 |