Search Results - publications of) concurrent constraint programming~

A Concurrent Constraint Programming Interpretation of Access Permissions

Authors: Olarte, Carlos Pimentel, Elaine Rueda, Camilo

Index Terms: Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/1802.04695

Bisimilarity in Concurrent Constraint Programming

Authors: Aristizabal P., Andres A. Andres A. Aristizabal P.

Contributors: Aristizabal P., Andres A. Andres A. Aristizabal P.

Subject Terms: Concurrent Constraint Programming, Concurrency, Behavioural Equivalence, Bisimilarity, Process Calculi, Operational Semantics, Labelled Semantics

File Description: application/pdf

Relation: Is Part Of LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236

Availability: https://doi.org/10.4230/LIPIcs.ICLP.2010.236
https://nbn-resolving.org/urn:nbn:de:0030-drops-26029
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236

Under consideration for publication in Theory and Practice of Logic Programming 1 Automatic Verification of Timed Concurrent Constraint Programs∗

Authors: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

Contributors: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

Source: http://www.dsic.upv.es/~villanue/pub/FV06.pdf.

Subject Terms: Automatic verification, reactive systems, timed concurrent constraint programming

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.3771; http://www.dsic.upv.es/~villanue/pub/FV06.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.3771
http://www.dsic.upv.es/~villanue/pub/FV06.pdf

A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs

Authors: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia et al.

Contributors: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia et al.

Source: PPDP 2009 - ACM SIGPLAN 11th Conference on Principles and practice of declarative programming ; https://inria.hal.science/inria-00426608 ; PPDP 2009 - ACM SIGPLAN 11th Conference on Principles and practice of declarative programming, Sep 2009, Coimbra, Portugal. pp.207-218, ⟨10.1145/1599410.1599436⟩

Subject Terms: Concurrent Constraint Programming Abstract Interpretation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Subject Geographic: Coimbra, Portugal

Availability: https://inria.hal.science/inria-00426608
https://inria.hal.science/inria-00426608/document
https://inria.hal.science/inria-00426608/file/ppdp21-olarte.pdf
https://doi.org/10.1145/1599410.1599436

Hybrid concurrent constraint programming: A well-suited formalism for modelling alternative splicing regulation (Abstract)

Authors: Eveillard, Damien Courtois, Arnaud Bockmayr, Alexander et al.

Contributors: Eveillard, Damien Courtois, Arnaud Bockmayr, Alexander et al.

Subject Terms: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], constraint programming, alternative splicing, biological modeling, épissage alternatif, programmation par contraintes, modélisation biologique

Access URL: https://inria.hal.science/inria-00099705v1

A Variant of Concurrent Constraint Programming on GPU

Authors: Talbot, Pierre Pinel, Frédéric G Bouvry, Pascal

Source: Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 36 No. 4: AAAI-22 Technical Tracks 4; 3830-3839 ; 2374-3468 ; 2159-5399

Subject Terms: Constraint Satisfaction And Optimization (CSO)

File Description: application/pdf

Relation: https://ojs.aaai.org/index.php/AAAI/article/view/20298/20057; https://ojs.aaai.org/index.php/AAAI/article/view/20298

Availability: https://ojs.aaai.org/index.php/AAAI/article/view/20298
https://doi.org/10.1609/aaai.v36i4.20298

Modeling biological systems in hybrid concurrent constraint programming (Poster abstract)

Authors: Bockmayr, Alexander Courtois, Arnaud Loria, Publications

Contributors: Bockmayr, Alexander Courtois, Arnaud Loria, Publications

Subject Terms: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], constraint programming, biologie systémique, modeling, systems biology, programmation par contraintes, modélisation

Access URL: https://inria.hal.science/inria-00100608v1

Dynamic Slicing for Concurrent Constraint Languages

Authors: Falaschi M. Gabbrielli M. Olarte C. et al.

Contributors: Falaschi M. Gabbrielli M. Olarte C. et al.

Source: Fundamenta Informaticae. 177:331-357

Subject Terms: Concurrent Constraint Programming, Debugging, Program slicing, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Concurrent Constraint Programming, Debugging, Program slicing, 0202 electrical engineering, electronic engineering, information engineering

File Description: application/pdf; STAMPA

Access URL: https://hal.archives-ouvertes.fr/hal-02423973v2/file/paper.pdf
https://hal.science/hal-02423973v2
https://hal.science/hal-02423973v2/document
https://doi.org/10.3233/fi-2020-1992
https://hal.univ-cotedazur.fr/hal-02423973v1
https://dblp.uni-trier.de/db/journals/fuin/fuin177.html#FalaschiGOP20
https://hal.archives-ouvertes.fr/hal-02423973/document
https://cris.unibo.it/handle/11585/812478
https://content.iospress.com/articles/fundamenta-informaticae/fi1992
https://hal.archives-ouvertes.fr/hal-02423973v1
https://hdl.handle.net/11365/1124071
https://doi.org/10.3233/FI-2020-1992
https://journals.sagepub.com/doi/abs/10.3233/FI-2020-1992
https://content.iospress.com/articles/fundamenta-informaticae/fi1992
https://doi.org/10.3233/FI-2020-1992
https://hdl.handle.net/11585/812478

Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems

Authors: Bockmayr, Alexander Courtois, Arnaud Loria, Publications et al.

Contributors: Bockmayr, Alexander Courtois, Arnaud Loria, Publications et al.

Source: Lecture Notes in Computer Science ISBN: 9783540439301

Subject Terms: 0301 basic medicine, systèmes hybrides, contraintes, concurrence, biologie systémique, programmation logique, systems biology, bioinformatics, 0102 computer and information sciences, hybrid systems, biologie moléculaire, 01 natural sciences, 3. Good health, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], logic programming, 03 medical and health sciences, molecular biology, concurrency, constraints, bioinformatique

File Description: application/pdf

Access URL: https://hal.inria.fr/inria-00107635/document
https://inria.hal.science/inria-00100783v1
https://inria.hal.science/inria-00107635v1

On the Expressiveness of Spatial Constraint Systems

Authors: Guzmán, Michell Valencia, Frank D. Michell Guzmán and Frank D. Valencia

Contributors: Guzmán, Michell Valencia, Frank D. Michell Guzmán and Frank D. Valencia

Subject Terms: Epistemic logic, Modal logic, Constraint systems, Concurrent constraint programming

File Description: application/pdf

Relation: Is Part Of OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.16

Availability: https://doi.org/10.4230/OASIcs.ICLP.2016.16
https://nbn-resolving.org/urn:nbn:de:0030-drops-67469
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.16

Distributed Concurrent Constraint Programming: Distributed concurrent constraint programming

Authors: Jean-Hugues Réty

Source: Fundamenta Informaticae. 34:323-346

Subject Terms: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Network design and communication in computer systems, concurrent constraint programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

File Description: application/xml

Access URL: https://zbmath.org/1337862
https://content.iospress.com/articles/fundamenta-informaticae/fi34-3-05
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.baztech-article-BUS1-0003-0046
https://dblp.uni-trier.de/db/journals/fuin/fuin34.html#Rety98

Soft Concurrent Constraint Programming.

Authors: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

Source: ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p563-589, 27p

Subject Terms: MATHEMATICAL logic, FORMAL languages, PROOF theory, LOGIC programming, KNOWLEDGE representation (Information theory), FORMAL language semantics, FORMALIZATION (Linguistics), METATHEORY

Universal Temporal Concurrent Constraint Programming

Authors: Of The École Polytechnique Carlos Olarte Catuscia Palamidessi et al.

Contributors: Of The École Polytechnique Carlos Olarte Catuscia Palamidessi et al.

Source: http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Aola09.pdf.

Subject Terms: 1.2 Publications from this Dissertation. 14

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.9039; http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Aola09.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.9039
http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Aola09.pdf

Models and emerging trends of concurrent constraint programming.

Authors: Olarte, Carlos Rueda, Camilo Valencia, Frank

Source: Constraints: An International Journal; Oct2013, Vol. 18 Issue 4, p535-578, 44p

This document in subdirectoryRS/01/48/ Temporal Concurrent Constraint Programming: Applications and Behavior

Authors: Mogens Nielsen Frank D. Valencia Copyright C et al.

Contributors: Mogens Nielsen Frank D. Valencia Copyright C et al.

Source: http://www.brics.dk/RS/01/48/BRICS-RS-01-48.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.9057

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.9057
http://www.brics.dk/RS/01/48/BRICS-RS-01-48.pdf

Probabilistic Choice Operators as Constraint Combinators: Application to the Statistical Structural Testing Problem

Authors: Petit, Matthieu Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) et al.

Contributors: Petit, Matthieu Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) et al.

Source: https://inria.hal.science/inria-00156049 ; [Research Report] RR-6223, INRIA. 2007.

Subject Terms: Probabilistic Concurrent Constraint Programming, Probabilistic Choices Combinator, Statistical Structural Testing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Availability: https://inria.hal.science/inria-00156049
https://inria.hal.science/inria-00156049v3/document
https://inria.hal.science/inria-00156049v3/file/RR-6223.pdf

Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming

Authors: Acosta, Hugo Andrés López Hildebrandt, Thomas

Source: Acosta, H A L & Hildebrandt, T 2009, Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. in Logic Programming : 25th International Conference, ICLP 2009. vol. 5649, Springer, Lecture Notes in Computer Science, no. 5649/2009, pp. 417, International Conference on Logic Programming (ICLP), Pasadena, United States, 02/07/2010. https://doi.org/10.1007/978-3-642-02846-5_34

Availability: https://pure.itu.dk/portal/da/publications/597ca280-e1a4-11de-a523-000ea68e967b
https://doi.org/10.1007/978-3-642-02846-5_34

Preventive Immunology for Livestock and Zoonotic Infectious Diseases in the One Health Era: From Mechanistic Insights to Innovative Interventions.

Authors: Marzouk, Eman Alajaji, Ahmed I.

Source: Veterinary Sciences; Oct2025, Vol. 12 Issue 10, p1014, 42p

Subject Terms: LIVESTOCK, ZOONOSES, ANIMAL health, DRUG resistance in microorganisms, DIAGNOSTIC services, VACCINES, INFECTION prevention

Hybrid ITSP-LSTM Approach for Stochastic Citrus Water Allocation Addressing Trade-Offs Between Hydrological-Economic Factors and Spatial Heterogeneity.

Authors: Xu, Wen Hu, Rui Zheng, Yifei et al.

Source: Water (20734441); Sep2025, Vol. 17 Issue 18, p2665, 21p

Subject Terms: STOCHASTIC programming, WATER supply management, CITRUS fruit growing, WATER management, HYDROLOGICAL forecasting, WATER supply, SPATIAL variation, INTEGRATED water development

Geographic Terms: CHINA, YANGTZE River (China)

Reducing Weak to Strong Bisimilarity in CCP

Authors: Aristizábal, Andrés Bonchi, Filippo Pino, Luis et al.

Contributors: Aristizábal, Andrés Bonchi, Filippo Pino, Luis et al.

Source: Electronic Proceedings in Theoretical Computer Science, Vol 104, Iss Proc. ICE 2012, Pp 2-16 (2012)

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Science - Programming Languages, Bisimiliarity, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Software Engineering, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming, Software, Mathematics, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Programming Languages (cs.PL)

File Description: application/pdf

Access URL: https://arxiv.org/pdf/1212.3874
http://arxiv.org/abs/1212.3458
http://arxiv.org/abs/1212.3874
https://doaj.org/article/5199e5c2049d47baa9fc157349a942ee
https://hal.science/hal-00761611v1
https://doi.org/10.4204/eptcs.104
https://hal.science/hal-00761611v1/document
http://ui.adsabs.harvard.edu/abs/2012arXiv1212.3458C/abstract
https://arxiv.org/abs/1212.3458
https://haslab.uminho.pt/xana/publications/proceedings-ice-2012
https://hal.archives-ouvertes.fr/hal-00761611
https://hal.inria.fr/hal-00761611
https://hal.archives-ouvertes.fr/hal-00761611/document
https://dblp.uni-trier.de/db/series/eptcs/eptcs104.html#abs-1212-3874
https://arxiv.org/pdf/1212.3874
https://arxiv.org/abs/1212.3874
https://arxiv.org/pdf/1212.3874.pdf
https://arxiv.org/abs/1212.3874
http://ui.adsabs.harvard.edu/abs/2012arXiv1212.3874A/abstract
https://hdl.handle.net/11568/900178
https://doi.org/10.4204/EPTCS.104.2