Concurrent Programming in Haskell (1996)

by Victor M. Gulias , Jose L. Freire

Active Bibliography

548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
550 Cilk: An Efficient Multithreaded Runtime System – Robert D. Blumofe , Christopher F. Joerg, Bradley C. Kuszmaul, Charles E. Leiserson, Keith H. Randall, Yuli Zhou - 1995
964 Active Messages: a Mechanism for Integrated Communication and Computation – T von Eicken, D E Culler, S C Goldstein, K E Schauser - 1992
1008 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
959 Generative communication in Linda – David Gelernter - 1985
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
616 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996