| 1996 |
|---|
| 7 | EE | Kurt Sieber:
Full Abstraction for the Second Order Subset of an Algol-Like Language.
Theor. Comput. Sci. 168(1): 155-212 (1996) |
| 1994 |
|---|
| 6 | | Kurt Sieber:
Full Abstraction for the Second Order Subset of an Algol-Like Language.
MFCS 1994: 608-617 |
| 5 | | Gudula Rünger,
Kurt Sieber:
A Process Oriented Semantics of the PRAM-Language FORK.
Comput. Lang. 20(4): 253-265 (1994) |
| 1993 |
|---|
| 4 | | Kurt Sieber:
Call-by-Value and Nondeterminism.
TLCA 1993: 376-390 |
| 1990 |
|---|
| 3 | | Kurt Sieber:
Relating Full Abstraction Results for Different Programming Languages.
FSTTCS 1990: 373-387 |
| 1988 |
|---|
| 2 | | Albert R. Meyer,
Kurt Sieber:
Towards Fully Abstract Semantics for Local Variables.
POPL 1988: 191-203 |
| 1983 |
|---|
| 1 | | Kurt Sieber:
Weakest expressible preconditions: a new tool for proving completeness results about Hoare calculi.
Theoretical Computer Science 1983: 325-334 |
