Functional computation as concurrent computation
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
The π-calculus in direct style
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Methodological View of Constraint Solving
Constraints
The π-Calculus in Direct Style
Higher-Order and Symbolic Computation
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
Resource-Passing Concurrent Programming
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
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]
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Temporal concurrent constraint programming: applications and behavior
Formal and natural computing
Uniform confluence in concurrent computation
Journal of Functional Programming
A closer look at constraints as processes
Information Processing Letters
A closer look at constraints as processes
Information Processing Letters
Operational semantics for declarative multi-paradigm languages
Journal of Symbolic Computation
Using constraint programming for reconfiguration of electrical power distribution networks
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Rule-based coordination of logic programs
Computer Languages
Distributed Concurrent Constraint Programming
Fundamenta Informaticae
Hi-index | 0.00 |