Author:
Bolignano Dominique,Debabi Mourad
Reference16 articles.
1. D. Bolignano and M. Debabi. Higher order communicating processes with value-passing, assignment and return of results. In Proceedings of the ISAAC’92 Conference, Lecture Notes in Computer Science 650. Springer Verlag, December 1992.
2. D. Bolignano and M. Debabi. A coherent type system for a concurrent, functional and imperative programming language. Technical report, Bull-ORDA, January 1993.
3. D. Bolignano and M. Debabi. A denotational model for the integration of concurrent functional and imperative programming. In Proceedings of the ICCV93 Conference. IEEE, May 1993.
4. B. Berthomieu. Implementing CCS, the LCS experiment. Technical Report 89425, LAAS CNRS, 1989.
5. M. Bidoit. PLUSS, un Langage pour le Développement de Spécifications Algébriques Modulaires. PhD thesis, Paris Sud, July 1989.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献