A qualitative physics based on confluences
Readings in qualitative reasoning about physical systems
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent constraint programming
Concurrent constraint programming
Timed default concurrent constraint programming
Journal of Symbolic Computation - Special issue: executable temporal logics
Computing with continuous change
Science of Computer Programming - Special issue on concurrent constraint programming
Hi-index | 0.00 |