Explicit message passing for concurrent clean

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1595, Issue , 1999, Pages 229-245

  Serrarens, Pascal R ^a   Plasmeijer, Rinus ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ASYNCHRONOUS SYSTEM; DESIGN DECISIONS; FLEXIBLE COMMUNICATION; FUNCTIONAL LANGUAGES; IMPLEMENTATION ASPECTS;

MESSAGE PASSING;

EID: 44349160487     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48515-5_15     Document Type: Conference Paper

References (21)

1. P.M. Achten. Interactive Functional Programs - Models, Methods and Implementation. PhD thesis, University of Nijmegen, February 1996.
2. P.M. Achten and M.J. Plasmeijer. Interactive Functional Objects in Clean. In C. Clack, T. Davie, and K. Hammond, editors, Proc. 9th. International Workshop on Implementation of Functional Languages, St Andrews, Scotland, September 1997, volume 1467 of LNCS, pages 305-322. Springer-Verlag, 1998.
3. E. Barendsen and J.E.W. Smetsers. Uniqueness Type Inference. In M. Hermenegildo and D. Swierstra, editors, Proc. Programming Languages: Implementations, Logics and Programs (PLILP'95), volume 982 of LNCS, pages 189-207. Springer-Verlag, 1995.
4. K.P. Birman and R. van Renesse. Reliable Distributed Computing with the Isis Toolkit. IEEE Computer Society Press, Los Alamitos, CA, 1994.
5. Hoare C.A.R. Communicating Sequential Processes. Communications of the ACM, 21:666-671, Aug. 1978.
6. D. Dolev and D. Malki. The Transis Approach to High Availability Cluster Communication. Communications of the ACM, 39(4):64-70, April 1996.
7. I. Holyer and D. Carter. Deterministic Concurrency. In Proc. 1993 GlasgowWorkshop on Functional Programming, pages 113-126. Springer-Verlag, July 1993.
8. M.P. Jones and P. Hudak. Implicit and Explicit Parallel Programming in Haskell. Technical Report YALEU/DCS/RR-982, Yale University, 1993.
9. M.H.G. Kesseler. Uniqueness and Lazy Graph Copying - Copyright for the Unique. In Proc. 6th. International Workshop on the Implementation of Functional Languages (IFL'94), Norwich, UK, 1994. University of East Anglia.
10. U. Klusik, Y. Ortega, and R. Peña. Implementing Eden, or Dreams Become Reality. In This Proceedings.
11. L.E. Moser, P.M. Melliar-Smith, D.A. Agarwal, Budhia R.K., and C.C. Lingley-Papadopoulos. Totem: A Fault-Tolerant Multicast Group Communication System. Communications of the ACM, 39(4):54-63, April 1996.
12. Gehani N.H. Broadcasting Sequential Processes (BSP). IEEE Transactions on Software Engineering, 10(4), July 1984.
13. E.G.J.M.H. Nöcker, J.E.W. Smetsers, M.C.J.D. van Eekelen, and M.J. Plasmeijer. Concurrent Clean. In Proc. PARLE'91 - Parallel Architectures and Languages Europe, volume 506 of LNCS, pages 202-219, Eindhoven, The Netherlands, June 1991. Spinger-Verlag.
14. S. Paul, Sabnani K.K, J.C. Lin, and S. Bhattacharyya. Reliable Multicast Transport Protocol (RMTP). IEEE Journal on Selected Areas in Communications, 15(3):407-421, April 1997.
15. S.L. Peyton Jones, A.D. Gordon, and S.O. Finne. Concurrent Haskell. In Proc. 23rd. ACM Symposium on Principles of Programming Languages (POPL'96), pages 295-308, St Petersburg Beach, Florida, January 1996. ACM Press.
16. M.R.C. Pil. First Class File I/O. In W. Kluge, editor, Proc. 8th. International Workshop on the Implementation of Functional Languages (IFL'96), Bad Godesberg, Germany, September 1996, volume 1268 of LNCS, pages 233-246. Springer- Verlag, 1997.
17. J. H. Reppy. Concurrent ML: Design, Application and Semantics. In P. E. Lauer, editor, Functional Programming, Concurrency, Simulation and Automated Reasoning, pages 165-198. Springer-Verlag, 1993.
18. E. Scholz. Four Concurrency Primitives for Haskell. In ACM/IFIP Haskell Workshop, La Jolla, Colifornia, 1995. Research Report YALEU/DCS/RR-1075.
19. B. Thomsen, L. Leth, S. Prasad, T-M. Kuo, A. Kramer, F. Knabe, and A. Giacalone. Facile Antigua Release Programming Guide. Technical Report ECRC-93- 20, European Computer-Industry Research Centre, 1993.
20. D.N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, Edinburgh University, 1995.
21. R. van Renesse, K.P. Birman, and S. Maéis. Horus: A flexible Group Communications System. Communications of the ACM, 39(4), April 1996.