A Labelled Semantics for Soft Concurrent Constraint Programming

No abstract is available for this paper.

• Publication year

  2015

• Venue

  International Conference on Coordination Models and Languages

• Publication date

  2015-06-02

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-19282-6_9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Secure Non-monotonic Soft Concurrent Constraint Language

  2014cited by this paper
• Theoretical Aspects of Computing – ICTAC 2014

  2014cited by this paper
• A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice

  2014cited by this paper
• Deriving Labels and Bisimilarity for Concurrent Constraint Programming

  2011influential reference
• Reactive Systems, Barbed Semantics, and the Mobile Ambients

  2009cited by this paper
• Amortised Memory Analysis Using the Depth of Data Structures

  2009cited by this paper
• General Topology

  2008cited by this paper
• Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151

  2007cited by this paper
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

  2007cited by this paper
• Residuated lattices: An algebraic glimpse at sub-structural logics

  2007cited by this paper
• Enhancing Constraints Manipulation in Semiring-Based Formalisms

  2006cited by this paper
• Free-Algebra Models for the pi-Calculus

  2005cited by this paper
• Phase semantics and decidability of elementary affine logic

  2004cited by this paper
• Phase semantics and decidability of elementary affine logic

  2004cited by this paper
• Semirings and Affine Equations over Them: Theory and Applications

  2003cited by this paper
• Soft concurrent constraint programming

  2002influential reference
• Deriving Bisimulation Congruences for Reactive Systems

  2000cited by this paper
• An Introduction to Cylindric Set Algebras

  2000cited by this paper
• Optimizing Büchi Automata

  2000cited by this paper
• Coordination Models and Languages

  1998cited by this paper
• Semiring-based constraint satisfaction and optimization

  1997cited by this paper
• Synchronization and Linearity: An Algebra for Discrete Event Systems

  1994cited by this paper
• Symbolic and Quantitative Approaches to Reasoning and Uncertainty

  1993cited by this paper
• Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach

  1993cited by this paper
• On limits in complete semirings

  1992cited by this paper
• Barbed Bisimulation

  1992cited by this paper
• Dynamic Congruence vs. Progressing Bisimulation for CCS

  1992cited by this paper
• The semantic foundations of concurrent constraint programming

  1991influential reference
• General Topology I

  1990cited by this paper
• On Observing Nondeterminism and Concurrency

  1980cited by this paper

• Soft constraint automata with memory

  2021cites this paper
• Safety of a Smart Classes-Used Regression Test Selection Algorithm

  2020cites this paper
• Characterizing right inverses for spatial constraint systems with applications to modal logic

  2018cites this paper
• On the expressiveness of spatial constraint systems. (Sur l'expressivité des systèmes de contraintes spatiales)

  2017cites this paper
• Observational and behavioural equivalences for soft concurrent constraint programming

  2017cites this paper