E-LIB Suche - Ergebnisse für: Back, A.R.

1

Compositional Action System Refinement:

Back, R. J. R. ; Wright, J. von
Formal Aspects of Computing. 15 (2003) 2-3 - p. 103-117 , 2003

Link: https://doi.org/10.1007/..

2

Reasoning algebraically about loops:

Back, R.J.R. ; von Wright, J.
Acta Informatica. 36 (1999) 4 - p. 295-334 , 1999

Link: https://doi.org/10.1007/..

3

Contracts, Games and Refinement:

Back, R.J.R. ; von Wright, J.
Electronic Notes in Theoretical Computer Science. 7 (1997) - p. 20-33 , 1997

Link: https://doi.org/10.1016/..

4

Superposition refinement of reactive systems:

Back, R. J. R. ; Sere, K.
Formal Aspects of Computing. 8 (1996) 3 - p. 324-346 , 1996

Link: https://doi.org/10.1007/..

5

Specifying the Caltech asynchronous microprocessor:

Back, R.J.R. ; Martin, A.J. ; Sere, K.
Science of Computer Programming. 26 (1996) 1-3 - p. 79-97 , 1996

Link: https://doi.org/10.1016/..

6

Financial statement planning in the presence of tax constra..:

Back, B. ; Back, R.J.R.
European Journal of Operational Research. 85 (1995) 1 - p. 66-81 , 1995

Link: https://doi.org/10.1016/..

7

Statement inversion and strongest postcondition:

Back, R.J.R. ; von Wright, J.
Science of Computer Programming. 20 (1993) 3 - p. 223-251 , 1993

Link: https://doi.org/10.1016/..

8

Analysis of simulated triples γ-ray data on a 100-processor..:

Lönnroth, T. ; Hattula, J. ; Julin, R....
Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 332 (1993) 3 - p. 554-560 , 1993

Link: https://doi.org/10.1016/..

9

Combining angels, demons and miracles in program specificat..:

Back, R.J.R. ; von Wright, J.
Theoretical Computer Science. 100 (1992) 2 - p. 365-383 , 1992

Link: https://doi.org/10.1016/..

10

Refinement concepts formalised in higher order logic:

Back, R. J. R. ; von Wright, J.
Formal Aspects of Computing. 2 (1990) 1 - p. 247-272 , 1990

Link: https://doi.org/10.1007/..

11

Duality in specification languages: a lattice-theoretical a..:

Back, R. J. R. ; von Wright, J.
Acta Informatica. 27 (1990) 7 - p. 583-625 , 1990

Link: https://doi.org/10.1007/..

12

Hathi-2 multiprocessor system:

Aspnäs, M ; Back, R.J.R ; Malén, T-E
Microprocessors and Microsystems. 14 (1990) 7 - p. 457-466 , 1990

Link: https://doi.org/10.1016/..

13

Stepwise refinement of parallel algorithms:

Back, R.J.R. ; Sere, K.
Science of Computer Programming. 13 (1990) 2-3 - p. 133-180 , 1990

Link: https://doi.org/10.1016/..

14

Decentralization of process nets with centralized control:

Back, R. -J. R. ; Kurki-Suonio, R.
Distributed Computing. 3 (1989) 2 - p. 73-87 , 1989

Link: https://doi.org/10.1007/..

15

Distributed cooperation with action systems:

Back, R. J. R. ; Kurki-Suonio, F.
ACM Transactions on Programming Languages and Systems (TOPLAS). 10 (1988) 4 - p. 513-554 , 1988

Link: https://dl.acm.org/doi/1..