A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Linear objects: logical processes with built-in inheritance
Logic programming
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Process algebra
Ports for objects in concurrent logic programs
Research directions in concurrent object-oriented programming
Non-monotonic concurrent constraint programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Prolog: the standard: reference manual
Prolog: the standard: reference manual
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Forum: a multiple-conclusion specification logic
ALP Proceedings of the fourth international conference on Algebraic and logic programming
Timed default concurrent constraint programming
Journal of Symbolic Computation - Special issue: executable temporal logics
ACM Computing Surveys (CSUR)
Interactive foundations of computing
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
Concurrent programming in ML
Concurrency in Prolog using threads and a shared database
Proceedings of the 1999 international conference on Logic programming
Pict: a programming language based on the Pi-Calculus
Proof, language, and interaction
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Distributed Programming in a Multi-Paradigm Declarative Language
PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
Partial Order and SOS Semantics for Linear Constraint Programs
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Steam-Boiler Control Specification Problem
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Phase Semantics and Verification of Concurrent Constraint Programs
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Specializing narrowing for timetable generation: a case study
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
| Hi-index | 0.00 |
We propose a general framework for combining mobile processes and declarative programming languages, e.g., functional, logic or functional-logic languages. In contrast to existing concurrent extensions of declarative languages, we distinguish clearly between the notion of processes and that of functions or predicates. Thus, our framework is generic and may be applied to extend several kinds of declarative languages. It also extends PA process algebra in order to deal with parameter passing, mobile processes and interactive declarative programming. In our setting, declarative programs are dynamic and may be modified thanks to the actions performed by processes.