Deterministic Concurrency (1993)

by David Paul Carter
Venue:UNIVERSITY OF BRISTOL
Citations:7 - 0 self

Active Bibliography

467 Comprehending Monads – Philip Wadler - 1992
1353 Monads for functional programming – Philip Wadler - 1995
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
578 Term Rewriting Systems – J. W. Klop - 1992
766 Notions of Computation and Monads – Eugenio Moggi - 1991
473 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
290 Computational Interpretations of Linear Logic – Samson Abramsky - 1993