[Sökformulär] [Info om databasen] [Söktips]

Biblio: söktermen namn=('Back, Ralph-Johan') gav 38 träffar


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