A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Model checking for the concurrent constraint paradigm: Thesis
AI Communications
Orchestrating stream graphs using model checking
ACM Transactions on Architecture and Code Optimization (TACO)
Hi-index | 0.00 |