Concurrent constraint programming and linear logic (abstract)

Authors:
François Fages
Affiliations:
INRIA Rocquencourt, BP 105, F-78153 Le Chesnay Cedex, France
Venue:
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Year:
2000

Concurrent constraint programming

Concurrent constraint programming
Linear concurrent constraint programming: operational and phase semantics

Information and Computation
Concurrent Constraint Programming and Non-commutative Logic

CSL '97 Selected Papers from the11th International Workshop on Computer Science Logic
Phase Semantics and Verification of Concurrent Constraint Programs

LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science

Hi-index	0.00