From logic to stochastic processes (abstract only)

Authors:
Prakash Panangaden
Affiliations:
School of Computer Science, McGill University, Montréal, Québec, CANADA
Venue:
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Year:
2000

The concurrent logic programming language CP: Definition and operational semantics

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Concurrent constraint programming

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computing with continuous change

Science of Computer Programming - Special issue on concurrent constraint programming
Stochastic processes as concurrent constraint programs

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Probabilistic Concurrent Constraint Programming

CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Systems programming in concurrent prolog

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Concurrent constraint programming languages

Concurrent constraint programming languages

Hi-index	0.00