Actors as a special case of concurrent constraint (logic) programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Communication with directed logic variables
POPL '91 Proceedings of the 18th 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
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Communications of the ACM
Call forwarding: a simple interprocedural optimization technique for dynamically typed languages
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Default timed concurrent constraint programming
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Search in concurrent logic languages
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Evaluation of Parallel Copying Garbage Collection on a Shared-Memory Multiprocessor
IEEE Transactions on Parallel and Distributed Systems
Resource-Passing Concurrent Programming
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Mobile Concurrent Constraint Programming
PPAM '01 Proceedings of the th International Conference on Parallel Processing and Applied Mathematics-Revised Papers
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Demand-Driven Dataflow for Concurrent Committed-Choice Code
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Features of the concurrent programming language Aldwych
Proceedings of the 2003 ACM symposium on Applied computing
Review of "The logic of typed feature structures" by Bob Carpenter. Cambridge University Press 1992.
Computational Linguistics
A backward analysis for constraint logic programs
Theory and Practice of Logic Programming
Should LOGO keep going forward 1?
Informatics in education
LMNtal as a hierarchical logic programming language
Theoretical Computer Science
A generic system for interactive real-time animation
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
A communication agreement framework for access/action control
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
LMNtal: a language model with links and membranes
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Computer Languages
DRL: A distributed real-time logic language
Computer Languages
Distributed Concurrent Constraint Programming
Fundamenta Informaticae
Hi-index | 0.02 |