Proving correctness of concurrent programs : A quick introduction

von Apt, K.
Veröffentlicht 1985

Recursive embeddings of partial ordering

von Apt, K. R.
Veröffentlicht 1976

Equivalence of operational and denotational semantics for a fragment of PASCAL

von Apt, K. R.
Veröffentlicht 1976

Inductive definitions, models of comprehension and invariant definability

von Apt, K. R.
Veröffentlicht 1976

A cook's tour of countable nondeterminism

von Apt, K.
Veröffentlicht 1982

Countable nondeterminism and random assignment

von Apt, K.
Veröffentlicht 1982

Two normal form theorems for csp programs

von Apt, K.
Veröffentlicht 1985

Proof rules dealing with fairness

von Apt, K.
Veröffentlicht 1981

Using transformations to verify parallel programs

von Olderog, E.
Veröffentlicht 1990

Arithmetic classification of perfect models of stratified programs

von Apt, K. R.
Veröffentlicht 1989

Recursive assertions are not enough - or are they?

von Apt, K.
Veröffentlicht 1977

Fernsehen in der Psychiatrie : Symposion Berlin, Okt. 1977

Veröffentlicht 1978

Fairness in Parallel Programs: the Transformational Approach

von Olderog, E. R.
Veröffentlicht 1986

[The Formation of methane from synthesis gas by high-frequency radiation]

von Epple, R. P.
Veröffentlicht 1962

Sefer Ohel Mosheh : = Sefer Ogelʹ Moı̆she, t.e., Komentarʹ na Talmud

von Mosheh ben Dov Berish
Veröffentlicht 1908

Semantics and proof theory of PASCAL procedures

von Apt, K. R.
Veröffentlicht 1977

Exercises in denotational semantics

von Apt, K. R.
Veröffentlicht 1976

Completeness with finite systems of intermediate assertions for recursive program schemes

von Apt, K. R.
Veröffentlicht 1977

Theoretical aspects of computer software : TACS ; International conference. proceedings ; Selected papers. 24 - 27 sep 1991

Veröffentlicht in Science Of Computer Programming Vol 21(1993), 2. S. 91-190 (1993)

Krankendaten, Krankheitsregister, Datenschutz : 29. Jahrestagung. Proceedings. 10 - 12 Oct 1984

Veröffentlicht 1985