Specification-consistent coordination model for computations

Authors:
Edgar F. A. Lederer;Romeo A. Dumitrescu
Affiliations:
Department of Computer Science, University of Basel, Mittlere Strasse 142, CH-4056 Basel, Switzerland;Department of Computer Science, University of Basel, Mittlere Strasse 142, CH-4056 Basel, Switzerland
Venue:
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Year:
1998

Essays in computing science

Essays in computing science
Elements of functional programming

Elements of functional programming
EPL—parallel programming with recurrent equations

Parallel functional languages and compilers
Para-functional programming in Haskell

Parallel functional languages and compilers
Crystal: theory and pragmatics of generating efficient parallel code

Parallel functional languages and compilers
Designing programs that check their work

Journal of the ACM (JACM)
ML for the working programmer (2nd ed.)

ML for the working programmer (2nd ed.)
Formal methods: state of the art and future directions

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Verification of sequential and concurrent programs (2nd ed.)

Verification of sequential and concurrent programs (2nd ed.)
Software reliability via run-time result-checking

Journal of the ACM (JACM)

Hi-index	0.00