Suchergebnisse - J.R. BACK

1

Refinement calculus, part II: Parallel and reactive programs von Back, R. J. R.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Refinement calculus, part I: Sequential nondeterministic programs von Back, R. J. R., von Wright, J.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Compositional action system refinement von BACK, R. J. R, VON WRIGHT, J

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Superposition refinement of reactive systems von BACK, R. J. R, SERE, K

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Reasoning algebraically about loops von BACK, R. J. R, VON WRIGHT, J

Veröffentlicht in Acta informatica

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

From action systems to modular systems von Back, R. J. R., Sere, K.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Trace Refinement of Action Systems von Back, R. J. R., von Wright, J.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

A calculus of refinements for program derivations von BACK, R. J. R

Veröffentlicht in Acta informatica

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Distributed cooperation with action systems von Back, R. J. R., Kurki-Suonio, F.

Veröffentlicht in ACM transactions on programming languages and systems

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Predicate transformers and higher order logic von Back, R. J. R., von Wright, J.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Refinement of fair action systems von BACK, R. J. R, QIWEN XU

Veröffentlicht in Acta informatica

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Financial statement planning in the presence of tax constraints von Back, B., Back, R.J.R.

Veröffentlicht in European journal of operational research

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Combining angels, demons and miracles in program specifications von Back, R.J.R., von Wright, J.

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Decentralization of process nets with centralized control von BACK, R.-J, KURKI-SUONIO, R

Veröffentlicht in Distributed computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Stepwise refinement of parallel algorithms von Back, R.J.R., Sere, K.

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

An action system specification of the caltech asynchronous microprocessor von Back, R. J. R., Martin, A. J., Sere, K.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

On correct refinement of programs von Back, R.J.R.

Veröffentlicht in Journal of computer and system sciences

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Refinement concepts formalised in higher order logic von Back, R. J. R., von Wright, J.

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

A method for refining atomicity in parallel algorithms von Back, R. J. R.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

1,4-DIPHENYL-3-PYRAZOLIN-5-ONE von R.P. GAJEWSKI, J.R. BACK

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Refinement calculus, part II: Parallel and reactive programs von Back, R. J. R.

Refinement calculus, part I: Sequential nondeterministic programs von Back, R. J. R., von Wright, J.

Compositional action system refinement von BACK, R. J. R, VON WRIGHT, J

Superposition refinement of reactive systems von BACK, R. J. R, SERE, K

Reasoning algebraically about loops von BACK, R. J. R, VON WRIGHT, J

From action systems to modular systems von Back, R. J. R., Sere, K.

Trace Refinement of Action Systems von Back, R. J. R., von Wright, J.

A calculus of refinements for program derivations von BACK, R. J. R

Distributed cooperation with action systems von Back, R. J. R., Kurki-Suonio, F.

Predicate transformers and higher order logic von Back, R. J. R., von Wright, J.

Refinement of fair action systems von BACK, R. J. R, QIWEN XU

Financial statement planning in the presence of tax constraints von Back, B., Back, R.J.R.

Combining angels, demons and miracles in program specifications von Back, R.J.R., von Wright, J.

Decentralization of process nets with centralized control von BACK, R.-J, KURKI-SUONIO, R

Stepwise refinement of parallel algorithms von Back, R.J.R., Sere, K.

An action system specification of the caltech asynchronous microprocessor von Back, R. J. R., Martin, A. J., Sere, K.

On correct refinement of programs von Back, R.J.R.

Refinement concepts formalised in higher order logic von Back, R. J. R., von Wright, J.

A method for refining atomicity in parallel algorithms von Back, R. J. R.

1,4-DIPHENYL-3-PYRAZOLIN-5-ONE von R.P. GAJEWSKI, J.R. BACK

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle