Abstract, Journal of Functional Programming, vol.34, issue.04, pp.375-416, 1991. ,
DOI : 10.1016/0304-3975(86)90035-6
A call-by-need lambda calculus, POPL, pp.233-246, 1995. ,
Istructures: Data-structures for parallel computing, ACM Transactions on Programming Languages and Systems, vol.4, issue.11, pp.598-632, 1989. ,
The Lambda Calculus. Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics, 1984. ,
M-structures: Extending a parallel, non-strict, functional language with state, Functional Programming Languages and Computer Architecture , number 523 in LNCS, pp.538-568, 1991. ,
Process semantics of graph reduction, Sixth International Conference on Concurrency Theory, pp.238-252, 1995. ,
Towards a -calculus for concurrent and communicating systems, Theory and Practice in Software Development, number 351 in LNCS, pp.149-161, 1989. ,
Asynchrony and the -calculus (note), 1992. ,
Object-oriented concurrent constraint programming in Oz, Principles and Practice of Constraint Programming, pp.27-48, 1995. ,
An object calculus for asynchronous communication, Proceeding of the European Conference on Object- Oriented Programming, number 512 in LNCS, pp.133-147, 1991. ,
DOI : 10.1007/BFb0057019
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems, Journal of the ACM, vol.27, issue.4, pp.797-821, 1980. ,
DOI : 10.1145/322217.322230
OzFun: Eine funktionale Spache f ur gemischte Eager-und Lazy-Programmierung, 1995. ,
A fully abstract semantics for concurrent graph reduction, Proceedings of the Logic in Computer Science Conference, pp.82-91, 1994. ,
Programming paradigms of the Andorra Kernel Language, Proceedings of the International Symposium on Logic Programming, pp.167-186, 1991. ,
Term rewriting systems: A tutorial, Bulletin of the European Association of Theoretical Computer Sience, vol.32, pp.143-182, 1987. ,
Linearity and the pi-calculus, POPL, 1996. ,
A natural semantics for lazy evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.144-154, 1993. ,
DOI : 10.1145/158511.158618
Logic semantics for a class of committed-choice programs, Logic Programming , Proceedings of the Fourth International Conference, pp.858-876, 1987. ,
The Polyadic ??-Calculus: a Tutorial, ECS-LFCS Report, 1991. ,
DOI : 10.1007/978-3-642-58041-3_6
Functions as processes, Journal of Mathematical Structures in Computer Science, vol.2, issue.2, pp.119-141, 1992. ,
A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-77, 1992. ,
DOI : 10.1016/0890-5401(92)90008-4
Polymorphic types for concurrent constraints. DFKI Saarbr ucken, 1996. ,
Funktionale Berechnung in einem uniform nebenll auugen Kalkk ul mit logischen Variablen. Doctoral Dissertation, 1994. ,
Constraints for free in concurrent computation, Asian Computing Science Conference, 1995. ,
DOI : 10.1007/3-540-60688-2_43
URL : https://hal.archives-ouvertes.fr/inria-00536813
A connuent relational calculus for higher-order programming with constraints, 1 st International Conference on Constraints in Computational Logics, 1994. ,
Lazy Evaluation and the Logic Variable, Proceedings of the Institute on Declarative Programming, 1987. ,
Call-by-name, call-by-value and the ??-calculus, European Symposium on Programming, pp.125-159, 1975. ,
DOI : 10.1016/0304-3975(75)90017-1
Concurrent objects in a process calculus, Theory and Practice of Parallel Programming, number 907 in LNCS, pp.187-215, 1995. ,
Pict: A programming language based on the picalculus . Technical report in preparation; available electronically, 1996. ,
A Na ve Time Analysis and its Theory of Cost Equivalence, The Journal of Logic and Computation, p.48, 1995. ,
A foundation for concurrent constraint programming, Constraints in Computational Logics, pp.50-72, 1994. ,
An Oz primer. Oz documentation series, DFKI Saarbr ucken, 1995. ,
The Oz programming model, Current Trends in Computer Science, 1995. ,
Semantic foundations of concurrent constraint programming, POPL, pp.333-352, 1991. ,
Encapsulated search and constraint programming in Oz, Second Workshop on Principles and Practice of Constraint Programming, pp.134-150, 1994. ,
DOI : 10.1007/3-540-58601-6_96
Typed concurrent objects, 8th Proceedings of the European Conference on Object Oriented Programming, pp.100-117, 1994. ,
Objects in the -calculus, Journal on Information and Computation, vol.116, pp.254-273, 1995. ,
Optimal reduction in weak-??-calculus with shared environments, Proceedings of the conference on Functional programming languages and computer architecture , FPCA '93, 1993. ,
DOI : 10.1145/165180.165217