Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The 3 R's of optimizing constraint logic programs: refinement, removal and reordering
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An operational framework for value-passing processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Implementing constraint imperative programming languages: the Kaleidoscope'93 virtual machine
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
ACM Computing Surveys (CSUR)
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Constraint solving and programming: what's next?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
An overview of the design of Distributed Oz
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Coordination of heterogeneous distributed cooperative constraint solving
ACM SIGAPP Applied Computing Review - Special issue on coodination languages and models
Comparing coordination models based on shared distributed replicated data
Proceedings of the 1999 ACM symposium on Applied computing
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Using coordination for cooperative constraint solving
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A software architecture for distributed control systems and its transition system semantics
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Concurrent constraint programming and linear logic (abstract)
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
A characterization of symmetric semantics by domain complementation
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Automated systematic testing for constraint-based interactive services
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
ACM Transactions on Computational Logic (TOCL)
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Soft constraint propagation and solving in CHRs
Proceedings of the 2002 ACM symposium on Applied computing
Truly concurrent constraint programming
Theoretical Computer Science
On the expressive power of temporal concurrent constraint programming languages
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Database support for evolving data in product design
Computers in Industry - Special issue: CSCW in design
Constraint Programming 2000: A Position Paper
Constraints
Constraint Solving and Programming: What Next?
Constraints
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
On the expressiveness of coordination via shared dataspaces
Science of Computer Programming - Special issue on coordination languages and architectures
A logical view of concurrent constraint programming
Nordic Journal of Computing
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
Soft Concurrent Constraint Programming
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Propagation Completeness of Reactive Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
First-Order Logic as a Constraint Programming Language
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Programming Deep Concurrent Constraint Combinators
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
A Functional Logic Programming Approach to Graphical User Interfaces
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
High-Level Server Side Web Scripting in Curry
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Mobile Concurrent Constraint Programming
PPAM '01 Proceedings of the th International Conference on Parallel Processing and Applied Mathematics-Revised Papers
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]
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A Causal Semantics for Timed Default Concurrent Constraint Programming
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Functional Logic Design Patterns
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Object-Oriented Constraint Programming with J.CP
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Failure Semantics for the Exchange of Information in Multi-Agent Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Programming Language for Coordinating Group Actions
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
A Constraint-Based Language for Virtual Agents
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Multi-agent Systems as Concurrent Constraint Processes
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
On the Expressiveness of Coordination Models
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
On Timed Coordination Languages
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
On Completion of Constraint Handling Rules
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Constraints, Linguistic Theories and Natural Language Processing
NLP '00 Proceedings of the Second International Conference on Natural Language Processing
Multiscale Modeling of Alternative Splicing Regulation
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Temporal concurrent constraint programming: applications and behavior
Formal and natural computing
Sequentiality vs. concurrency in games and logic
Mathematical Structures in Computer Science
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
Concurrent programming as proof net construction
Mathematical Structures in Computer Science
Deterministic consistency checking of LP constraints
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Soft constraint programming to analysing security protocols
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Journal of Functional Programming
A multi-scale constraint programming model of alternative splicing regulation
Theoretical Computer Science - Special issue: Computational systems biology
Decidability of infinite-state timed CCP processes and first-order LTL
Theoretical Computer Science - Expressiveness in concurrency
Transforming semantics by abstract interpretation
Theoretical Computer Science
Concurrent clustered programming
CONCUR 2005 - Concurrency Theory
A semantic framework for the abstract model checking of tccp programs
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Constraint handling rules: the story so far
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Soft concurrent constraint programming
ACM Transactions on Computational Logic (TOCL)
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Model checking for the concurrent constraint paradigm: Thesis
AI Communications
On the Expressiveness of Timed Coordination via Shared Dataspaces
Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Timed Concurrent Constraint Programming with External Functions
Electronic Notes in Theoretical Computer Science (ENTCS)
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Universal concurrent constraint programing: symbolic semantics and applications to security
Proceedings of the 2008 ACM symposium on Applied computing
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Semiring-Based Soft Constraints
Concurrency, Graphs and Models
What Do Semantics Matter When the Meat Is Overcooked?
Concurrency, Graphs and Models
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
Electronic Notes in Theoretical Computer Science (ENTCS)
Non-determinism and Probabilities in Timed Concurrent Constraint Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
The Importance of Being (A Little Bit) Discrete
Electronic Notes in Theoretical Computer Science (ENTCS)
Agent-Based Speculative Constraint Processing
IEICE - Transactions on Information and Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Tool for Generating a Symbolic Representation of tccp Executions
Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic Programs and Hybrid Automata for (Biological) Modeling
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Constraint propagation and value acquisition: why we should do it interactively
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Modeling time in hybrid systems: how fast is "instantaneous"?
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Abstract Model Checking of tccp programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Intersection reporting on two collections of disjoint sets
Information Sciences: an International Journal
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Hybrid dynamics of stochastic programs
Theoretical Computer Science
Multi-paradigm declarative languages
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Closures and modules within linear logic concurrent constraint programming
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Hybrid systems and biology: continuous and discrete modeling for systems biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
On complementary principles of object-oriented constraint programming
Programming and Computing Software
A 25-year perspective on logic programming
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Limit behavior of the hybrid approximation of stochastic process algebras
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Concurrency among strangers: programming in E as plan coordination
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
A practical formal model for safety analysis in capability-based systems
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Bridging the gap between two concurrent constraint languages
WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
New functional logic design patterns
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A distributed and probabilistic concurrent constraint programming language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A multi-agent framework based on communication and concurrency
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
Concurrent constraint-based memory machines: a framework for java memory models (summary)
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Towards "propagation = logic + control"
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
A declarative framework for security: secure concurrent constraint programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Ontological modeling of virtual organization agents
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Failure handling in a network-transparent distributed programming language
Advanced Topics in Exception Handling Techniques
Testing concurrent systems: an interpretation of intuitionistic logic
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Monotonic set-extended prefix rewriting and verification of recursive ping-pong protocols
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Actors, roles and coordinators — a coordination model for open distributed and embedded systems
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A survey of constraint-based programming paradigms
Computer Science Review
From the π-calculus to flat GHC
Proceedings of the 14th symposium on Principles and practice of declarative programming
Rule-Based Constraint Programming
Fundamenta Informaticae
Fundamenta Informaticae
Domain consistency with forbidden values
Constraints
A new concurrency model for Scala based on a declarative dataflow core
Proceedings of the 4th Workshop on Scala
A general proof system for modalities in concurrent constraint programming
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 0.00 |