Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
A Compositional Model for Confluent Dynamic Data-Flow Networks
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
A Temporal Concurrent Constraint Programming Calculus
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A framework for abstract interpretation of timed concurrent constraint programs
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
A 25-year perspective on logic programming
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Deriving labels and bisimilarity for concurrent constraint programming
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Spatial and epistemic modalities in constraint-based process calculi
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Hi-index | 0.00 |