1. | Långbacka, Thomas / Institutionen för informationsbehandling |
A monitoring system for a transputer-based multiprocessor / M. Aspnäs, T.
Långbacka. - Åbo : Åbo Akademi, 1990. - 15 bl. : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 118).
ISBN 951-649-808-6 |
|
2. | Långbacka, Thomas / 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).
|
|
3. | Långbacka, Thomas / Institutionen för informationsbehandling |
A monitoring system for a transputer-based multiprocessor / Mats Aspnäs, Thomas
Långbacka.
- In: Transputing '91 : volume 1 / ed. by Peter Welch...et al. - Amsterdam : IOS Press, 1991, s. 78-93. - (Transputer and Occam engineering series, ISSN 0925-4986). ISBN 90-5199-045-6 |
|
4. | Långbacka, Thomas / Institutionen för informationsbehandling |
Using a graphical environmental to program transputer networks / Mats Aspnäs,
Thomas Långbacka.
- In: Nordic transputer applications : proceedings of the 1st and 2nd Nordic Transputer Seminars / ed. by Lars Annell and Martin Törngren. - Amsterdam : IOS Press, 1991, s. 1-18. - (Transputer and Occam engineering series, ISSN 0925-4986). ISBN 90-5199-070-7 |
|
5. | Långbacka, Thomas / Institutionen för informationsbehandling |
Mechanising some advanced refinement concept / J. von Wright...et al. - Åbo :
Åbo akademi, 1992. - 19 s. : ill.
- (Reports on computer science & mathematics, ISSN 1235-7502 ; no 140).
ISBN 951-650-138-9 |
|
6. | Långbacka, Thomas / Institutionen för informationsbehandling |
Millipede : a programming environment providing visual support for parallel
programming / M. Aspnäs, R. J. R. Back, T. Långbacka.
- In: 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 |
|
7. | Långbacka, Thomas / Institutionen för informationsbehandling |
Mechanising some advanced refinement concepts / J. von Wright...et al.
- In: Formal methods in system design, ISSN 0925-9856, (1993) 3, s. 49-81. |
|
8. | Långbacka, Thomas / Institutionen för informationsbehandling |
Using a theorem prover for reasoning about concurrent algorithms / J. von
Wright, T. Långbacka.
- In: Computer aided verification : Fourth International Workshop, CAV'92, Montreal, Canada : proceedings / G. v. Bochmann, D. K. Probst, eds. - Berlin : Springer-Verlag, 1993, s. 56-68. - (Lecture notes in computer science ; 663). ISBN 0-387-56496-9 |
|
9. | Långbacka, Thomas / Institutionen för informationsbehandling |
A HOL formalization of the temporal logic of actions / Thomas Långbacka.
- In: Higher order logic theorem proving and its applications : 7th International Workshop, Valetta, Malta, September 19-22, 1994 / Thomas F. Melham, Juanito Camilleri (eds.). - Berlin : Springer, 1994, s. 332-345. - (Lecture notes in computer science ; 859). ISBN 3-540-58450-1 |