Observational and behavioural equivalences for soft concurrent constraint programming

DOI10.1016/j.jlamp.2017.06.001zbMath1373.68176OpenAlexW2653983955MaRDI QIDQ2403819

Fabio Gadducci, Francesco Santini, Luis F. Pino, Frank D. Valencia

Publication date: 12 September 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2017.06.001

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Distributivity and residuation for lexicographic orders ⋮ A constraint-based language for multiparty interactions ⋮ Soft constraint automata with memory ⋮ Residuation for soft constraints: lexicographic orders and approximation techniques

Uses Software

• CC-Pi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Phase semantics and decidability of elementary affine logic
• Residuated lattices. An algebraic glimpse at substructural logics
• On limits in complete semirings
• A fully abstract semantics for concurrent constraint programming
• On the expressiveness of Linda coordination primitives.
• On the expressive power of \textsc{Klaim}-based calculi
• A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice
• A General Theory of Barbs, Contexts, and Labels
• Deriving Labels and Bisimilarity for Concurrent Constraint Programming
• Reactive Systems, Barbed Semantics, and the Mobile Ambients
• Semiring-based constraint satisfaction and optimization
• An introduction to cylindric set algebras
• Timed soft concurrent constraint programs: An interleaved and a parallel approach
• Barbed bisimulation
• A Secure Non-monotonic Soft Concurrent Constraint Language
• Soft concurrent constraint programming
• Open Bisimulation for the Concurrent Constraint Pi-Calculus
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements