9 treff

Communication algebras
Walicki, Michał
Bok Engelsk 1996
Algebraic approaches to nondeterminism : an overview
Walicki, Michał
Bok Engelsk 1995 · Les boka på nett
Proceeding[s] of the 4th Nordic Workshop on Program Correctness
Nordic Workshop on Program Correctness
Bok Engelsk 1993
Extending CSP with termination independent process activation
Sigurd Meldal
Bok Engelsk 1989 · Les boka på nett
Axiomatic semantics of access type tasks in Ada
Sigurd Meldal
Bok Engelsk 1986
Language elements for hierarchical abstraction in concurrent structures
Sigurd Meldal
Bok Engelsk 1986
Predicting the future : proof-rules for exceptions in concurrent structures
Sigurd Meldal
Bok Engelsk 1986
Exits from systems of nested processes : an axiomatic semantics
Sigurd Meldal
Bok Engelsk 1985
The HOLM language : a proposal
by Dag Belsnes, Ole Hanseth, Sigurd Melda...
Bok Engelsk 1982