Old publications
Efficient Implementation of Multi-process Handshaking on Broadcasting Networks (Abstract), M.Aspnas, R.J.R.Back, R.Kurki-Suonio
Stepwise Derivation of a Parallel Matrix Multiplication Algorithm (Abstract), J. von Wright
Refinement Concepts Formalized in Higher Order Logic (Abstract), R.J.R. Back, J. von Wright
Combining Angels, Demons and Miracles in Program Specifications (Abstract), R.J.R. Back, J. von Wright
Refinement Calculus, Part I: Sequential Nondeterministic Programs (Abstract), R.J.R. Back, J. von Wright
Multiprocessor Applications in the Hathi Project (Abstract), Mats Aspnas, R.J.R. Back
Transputer benchmark tests. (Abstract), Mats Aspnas, Tor-Erik Malen
Statement Inversion and Strongest Postcondition (Abstract), R.J.R. Back, J. von Wright
Program Inversion in the Refinement Calculus (Abstract), J. von Wright
An implementation of the ODE block algorithms for transputer system (Abstract), Yu.P.Boglaev, A.P.Karpenko, M.Aspnas
A Monitoring System for a Transputer-Based Multiprocessor (Abstract), M.Aspnas, T.Langbacka
Analysis of three-dimensional nuclear data on a transputer-based multiprocessor system (Abstract), R.J.R. Back, M. Aspnas, J. Granlund, J. Hattula, R. Julin, A. Lampinen, T. Lonnroth and P. Waxlax
Communication in Processor Farms: A Case Study in Reactive Systems Refinement (Abstract), K. Sere
An implementation of gasdynamic problems on multiprocessor system (Abstract), A.E.Dujsekulov, T.G.Elizarova, M.Aspnas
An implementation of Monte Carlo weighting method on multiprocessor systems (Abstract), A.E. Korolev, M.Ya. Marov, Y.V. Skorov, M.Aspnas
Millipede - A Programming Environment Providing Visual Support for Parallel Programming (Abstract), M.Aspnas, R-J.Back, T.Langbacka
The Lattice of Data Refinement (Abstract), J. von Wright
A Formalization of Superposition Refinement (Abstract), K. Sere
Doing Lattice Theory in Higher Order Logic (Abstract), J. von Wright
Data Refinement and the Simulation Method (Abstract), J. von Wright
Data Refinement with Stuttering (Abstract), J. von Wright
Mechanising some Advanced Refinement Concepts (Abstract), J. von Wright, J. Hekanaho, P. Luostarinen, T. Langbacka
Atomicity Refinement in a Refinement Calculus Framework (Abstract), R.J.R.Back
Action Systems with Synchronous Communication (Abstract), R.J.R. Back, K. Sere
Topographical Global Optimization for Constrained Problems (Abstract), Sami Viitanen and Aimo Torn
Superposition Refinement of Reactive Systems (Abstract), R.J.R. Back, K. Sere
Program Refinement by Theorem Prover (Abstract), J. von Wright
Stepwise Refinement of Communicating Systems (Abstract), Michael Butler
Specification of a Microprocessor (Abstract), R.J.R. Back, A.J. Martin, K. Sere
Laws of Parallel Programming with Shared Variables (Abstract), Q.Xu, J.He
On Unifying Assumption-Committment Style Proof Rules for Concurrency (Abstract), Q.Xu, A.Cau, P.Collette
Reverse Engineering Distributed Algorithms (Abstract), Kaisa Sere and Marina Wallden
Exploring Summation and Product Operators in the Refinement Calculus (Abstract), R.J.R. Back and M.J. Butler
Trace Refinement of Action Systems (Abstract), R.J.R. Back and J. von Wright
From Action Systems to Modular Systems (Abstract), R.J.R. Back and K. Sere
Context-sensitive data refinement and provable optimized compilation (Abstract), Vitali Kaufman
Verification of a Distributed Algorithm due to Chu (Abstract), Kaisa Sere, Marina Walden
Specification of a Program Derivation Editor (Abstract), M. Butler, E. Hedman, P. Nilson, R. Ruksenas, M. Walden, Y. Zhao
Developing a Customisable Programming Environment for Message Passing based Systems (Abstract), Mats Aspnas, Thomas Langbacka, Ivan Porres Paltor
Fairness in Action Systems (Abstract), R.J.R. Back and Q.W. Xu
TkWinHOL, A Tool for Doing Window Inference in HOL (Abstract), Thomas Langbacka, Rimvydas Ruksenas, Joakim von Wright
A Study in Fuzzy Petri Nets and the Relationship to Fuzzy Logic Programming (Abstract), Harry E. Virtanen
Improved Parallel Algorithms for Finding the Most Vital Edge of A Graph with Respect to Minimum Spanning Tree (Abstract), Hong Shen
Finding the k Most Vital Edges with Respect to Minimum Spanning Tree (Abstract), Hong Shen
RMC - A Length-independent Measure of Software Quality (Abstract), T. Andersson, K. Enholm, A. Torn
Competitive Financial Benchmarking Using Self-Organizing Maps (Abstract), B. Back, M. Irjala, K. Sere, H. Vanharanta
An Action System Approach to the Steam Boiler Problem (Abstract), M. Butler, E. Sekerinski, K. Sere
Fast Parallel Algorithm for Finding the kth Longest Path in A Tree (Abstract), Hong Shen
Formal Derivation of a Distributed Load Balancing Algorithm (Abstract), M. Walden
Generalized Parallel Selection in Sorted Matrices (Abstract), H. Shen
Optimal Algorithms for Generalized Matrix Search Problem (Abstract), H. Shen
Procedures and Atomicity Refinement (Abstract), K. Sere
Z Specification and Action Systems of the Production Cell (Abstract), J. Boling L. Laibinis M. Luova L. Mikhajlov, A. Sosyura, V. Torvinen
DiGraph: Users Guide (Abstract), Ivan Porres Paltor
DiGraph/Occam: Users Guide (Abstract), Ivan Porres Paltor
Oberon Animation System; Users Guide (Abstract), Ulla Solin, Mats Aspnas
System specification case studies with B (Abstract), E. Sekerinski and K. Sere editors