Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Back, R.J.R."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Reasoning algebraically about loops
R.J.R. Back
,
J. von Wright
Acta Informatica
36
(4), 1999, pp. 295-334
Games and winning strategies
R.J.R. Back
,
J. von Wright
Information Processing Letters
53
, 1995, pp. 165-172
Trace refinement of action systems
R.J.R. Back
,
J. von Wright
Lecture Notes in Computer Science
836
, 1994, pp. 367-384
Combining angels, demons and miracles in program specifications
R.J.R. Back
,
J. Von Wright
Theoretical Computer Science
100
, 1992, pp. 365-383
Duality in specification languages: A lattice-theoretical approach
R.J.R. Back
,
J. von Wright
Acta Informatica
27
, 1990, pp. 583-625
Serializability in distributed systems with handshaking
R.J.R. Back
,
R. Kurki-Suonio
Lecture Notes in Computer Science
317
, 1988, pp. 52-66
A calculus of refinements for program derivations
R.J.R. Back
Acta Informatica
25
, 1988, pp. 593-624
On the suitability of trace semantics for modular proofs of communicating processes
R.J.R. Back
,
H. Mannila
Theoretical Computer Science
39
(1), 1985, pp. 47-68
A Semantic Approach to Program Modularity
R.J.R. Back
,
H. Mannila
Information and Control
60
(1-3), 1984, pp. 138-167
A continuous semantics for unbounded nondeterminism
R.J.R. Back
Theoretical Computer Science
23
(2), 1983, pp. 187-210
On correct refinement of programs
R.J.R. Back
Journal of Computer and System Sciences
23
(1), 1981, August, pp. 49-68
Proving total correctness of nondeterministic programs in infinitary logic
R.J.R. Back
Acta Informatica
15
(3), 1981, June, pp. 233-249