Logic programming: functions, relations, and equations
Logic programming: functions, relations, and equations
Introduction to higher order categorical logic
Introduction to higher order categorical logic
Specification-oriented semantics for communicating processes
Acta Informatica
Theoretical Computer Science
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Parallel program design: a foundation
Parallel program design: a foundation
Proofs and types
I-structures: data structures for parallel computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
A fully abstract semantics for a functional language with logic variables
Proceedings of the Fourth Annual Symposium on Logic in computer science
Proceedings of the seventeenth international colloquium on Automata, languages and programming
A domain-theoretic model for a higher-order process calculus
Proceedings of the seventeenth international colloquium on Automata, languages and programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Strand: new concepts in parallel programming
Strand: new concepts in parallel programming
A fully abstract model for concurrent constraint programming
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Janus: a step towards distributed constraint programming
Proceedings of the 1990 North American conference on Logic programming
Functional programing and the logical variable
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Partial correctness semantics for CP [ , | , &]
Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
Concurrent constraint programming languages
Concurrent constraint programming languages
A fully abstract semantics for a first-order functional language with logic variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract semantics for a higher-order functional language with logic variables
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proving concurrent constraint programs correct
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
Functional computation as concurrent computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Some challenges for constraint programming
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
A transformation system for CLP with dynamic scheduling and CCP
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Synchronization transformations for parallel computing
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A logical model for relational abstract domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
A collaboration specification language
Proceedings of the 2nd conference on Domain-specific languages
From logic to stochastic processes (abstract only)
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
The role of commutativity in constraint propagation algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraints and constraint solving: an introduction
Constraints in computational logics
Transformations of CCP programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Constraint Programming: Strategic Directions
Constraints
Some Challenges for Constraint Programming
Constraints
Constraints
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
A logical view of concurrent constraint programming
Nordic Journal of Computing
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Propagation Completeness of Reactive Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Abstracting Properties in Concurrent Constraint Programming
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
First-Order Logic as a Constraint Programming Language
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Boolean Constraints for Binding-Time Analysis
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
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]
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
Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Proving Correctness of Timed Concurrent Constraint Programs
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Quantitative Observables and Averages in Probabilistic Constraint Programming
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
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Analysing Approximate Confinement under Uniform Attacks
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Linear Concurrent Constraint Programming over Reals
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Temporal Concurrent Constraint Programming Calculus
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Concurrent Constraint Programming with Process Mobility
CL '00 Proceedings of the First International Conference on Computational Logic
Temporal concurrent constraint programming: applications and behavior
Formal and natural computing
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A fully abstract model for the exchange of information in multi-agent systems
Theoretical Computer Science
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Sequentiality vs. concurrency in games and logic
Mathematical Structures in Computer Science
Uniform confluence in concurrent computation
Journal of Functional Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving correctness of timed concurrent constraint programs
ACM Transactions on Computational Logic (TOCL)
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
Algebraic Power Analysis by Abstract Interpretation
Higher-Order and Symbolic Computation
Decidability of infinite-state timed CCP processes and first-order LTL
Theoretical Computer Science - Expressiveness in concurrency
Timed constraint programming: a declarative approach to usage control
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A compositional semantics for CHR
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Transforming semantics by abstract interpretation
Theoretical Computer Science
A semantic framework for the abstract model checking of tccp programs
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Automatic verification of timed concurrent constraint programs
Theory and Practice of Logic Programming
Soft concurrent constraint programming
ACM Transactions on Computational Logic (TOCL)
A concurrent lambda calculus with futures
Theoretical Computer Science - Applied semantics
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
Timed Concurrent Constraint Programming for Analysing Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Service Discovery and Negotiation With COWS
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
On the Asynchronous Nature of the Asynchronous Π-Calculus
Concurrency, Graphs and Models
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Probabilistic and Concurrent Models for Security
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
Electronic Notes in Theoretical Computer Science (ENTCS)
A framework for abstract interpretation of timed concurrent constraint programs
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Constraint Functional Logic Programming Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Operational semantics for declarative multi-paradigm languages
Journal of Symbolic Computation
CC-Pi: a constraint-based language for specifying service level agreements
ESOP'07 Proceedings of the 16th European conference on Programming
Boosting probabilistic choice operators
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Using constraints and process algebra for specification of first-class agent interaction protocols
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Declarative diagnosis of temporal concurrent constraint programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Universal timed concurrent constraint programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A probabilistic applied pi-calculus
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Deriving labels and bisimilarity for concurrent constraint programming
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Parallelizing union-find in constraint handling rules using confluence analysis
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
Detecting determinacy in prolog programs
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
A concurrent lambda calculus with futures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
A symbolic model checker for tccp programs
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Partition refinement for bisimilarity in CCP
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Combining epistemic logic and hennessy-milner logic
Logic and Program Semantics
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process
Fundamenta Informaticae
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
A linear concurrent constraint approach for the automatic verification of access permissions
Proceedings of the 14th symposium on Principles and practice of declarative programming
Distributed Concurrent Constraint Programming
Fundamenta Informaticae
The quest for runware: on compositional, executable and intuitive models
Software and Systems Modeling (SoSyM)
Spatial and epistemic modalities in constraint-based process calculi
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
An algebraic presentation of predicate logic
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Efficient computation of program equivalence for confluent concurrent constraint programming
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
A general proof system for modalities in concurrent constraint programming
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
A concurrent constraint and pi-calculus-based language for service contracting
International Journal of Wireless and Mobile Computing
Hi-index | 0.00 |