On the expressive power of temporal concurrent constraint programming languages
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
Temporal Concurrent Constraint Programming: Applications and Behavior
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Proving Correctness of Timed Concurrent Constraint Programs
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
On Timed Coordination Languages
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
A Temporal Concurrent Constraint Programming Calculus
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Temporal concurrent constraint programming: applications and behavior
Formal and natural computing
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Proving correctness of timed concurrent constraint programs
ACM Transactions on Computational Logic (TOCL)
Decidability of infinite-state timed CCP processes and first-order LTL
Theoretical Computer Science - Expressiveness in concurrency
A semantic framework for the abstract model checking of tccp programs
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Automatic verification of timed concurrent constraint programs
Theory and Practice of Logic Programming
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Model checking for the concurrent constraint paradigm: Thesis
AI Communications
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
On the Expressiveness of Timed Coordination via Shared Dataspaces
Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Timed Concurrent Constraint Programming with External Functions
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A compositional semantics for CHR
ACM Transactions on Computational Logic (TOCL)
A Tool for Generating a Symbolic Representation of tccp Executions
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Abstract Model Checking of tccp programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Timed soft concurrent constraint programs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Decidability properties for fragments of chr
Theory and Practice of Logic Programming
A 25-year perspective on logic programming
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Bridging the gap between two concurrent constraint languages
WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
Compositional verification of asynchronous processes via constraint solving
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
A symbolic model checker for tccp programs
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
| Hi-index | 0.00 |