Search Results - "Concurrent constraint programming"

Local Spaces in Soft Concurrent Constraint Programming Oriented to Security

Authors: Bistarelli S. Santini F.

Source: Lecture Notes in Computer Science ISBN: 9783031737084

Subject Terms: Soft CCP, Security, Local Space Functions

A Variant of Concurrent Constraint Programming on GPU

Authors: Talbot, Pierre Pinel, Frederic Bouvry, Pascal

Source: Proceedings of the AAAI Conference on Artificial Intelligence. 36:3830-3839

Subject Terms: Computer science [C05] [Engineering, computing & technology], FOS: Computer and information sciences, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), 0102 computer and information sciences, 02 engineering and technology, Sciences informatiques [C05] [Ingénierie, informatique & technologie], 01 natural sciences, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2207.12116
http://orbilu.uni.lu/handle/10993/51988

Soft Concurrent Constraint Programming with Local Variables

Authors: Bussi L. Gadducci F. Santini F.

Source: Lecture Notes in Computer Science ISBN: 9783031081453

Subject Terms: bisimulation equivalences, residuated monoids, Soft concurrent constraint programming, local variables, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: https://hdl.handle.net/11568/1199468
https://doi.org/10.1007/978-3-031-08143-9_10
https://hdl.handle.net/11391/1530876
https://doi.org/10.1007/978-3-031-08143-9_10

Observational and behavioural equivalences for soft concurrent constraint programming

Authors: Fabio Gadducci Luis Fernando Pino Francesco Santini et al.

Contributors: Fabio Gadducci Luis Fernando Pino Francesco Santini et al.

Source: Journal of Logical and Algebraic Methods in Programming. 92:45-63

Subject Terms: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Semantics of Programming Langages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 16. Peace & justice, ACM: F.: Theory of Computation, Parallel, 01 natural sciences, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, Soft Constraints, and Cluster Computing [cs.DC], Soft Concurrent Constraint Programming, Bisimulation, 13. Climate action, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Concurrent Constraint Programming, 0101 mathematics

Access URL: https://inria.hal.science/hal-01675060v1
https://doi.org/10.1016/j.jlamp.2017.06.001
https://www.sciencedirect.com/science/article/pii/S2352220817301165
https://core.ac.uk/display/87081999
https://hal.inria.fr/hal-01675060
https://research.unipg.it/handle/11391/1417231
https://dblp.uni-trier.de/db/journals/jlp/jlp92.html#GadducciSPV17
https://hdl.handle.net/11568/872080
https://doi.org/10.1016/j.jlamp.2017.06.001
http://www.sciencedirect.com/science/journal/23522208
https://doi.org/10.1016/j.jlamp.2017.06.001
https://hdl.handle.net/11391/1417231

A Symbolic Model for Timed Concurrent Constraint Programming

Authors: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte et al.

Contributors: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte et al.

Source: Electronic Notes in Theoretical Computer Science. 312:161-177

Subject Terms: Model checking, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Temporal logic, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Concurrent constraint programming, 01 natural sciences, model checking, Model Checking, Theoretical Computer Science, temporal logic, Temporal Logic, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Computer Science(all)

File Description: application/pdf

Access URL: https://hal.science/hal-01257078v2
https://hal.science/hal-01257078v2/document
https://doi.org/10.1016/j.entcs.2015.04.010
https://core.ac.uk/display/81983992
https://www.sciencedirect.com/science/article/pii/S1571066115000146
https://dblp.uni-trier.de/db/journals/entcs/entcs312.html#AriasGO15
https://hal.archives-ouvertes.fr/hal-01257078
https://tel.archives-ouvertes.fr/INRIA/hal-01257078v1

Efficient computation of program equivalence for confluent concurrent constraint programming

Authors: Pino, Luis F. Bonchi, Filippo Valencia, Frank D. et al.

Contributors: Pino, Luis F. Bonchi, Filippo Valencia, Frank D. et al.

Source: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. :263-274

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], bisimulation, concurrent constraint programming, observational equivalence, partition refinement, Software, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Access URL: https://dl.acm.org/citation.cfm?doid=2505879.2505902
https://dl.acm.org/doi/10.1145/2505879.2505902
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2013.html#PinoBV13
https://arpi.unipi.it/handle/11568/900133
https://hal.archives-ouvertes.fr/hal-00909394
https://hal.inria.fr/hal-00909394
https://hdl.handle.net/11568/900133
https://doi.org/10.1145/2505879.2505902

Efficient algorithms for program equivalence for confluent concurrent constraint programming

Authors: Pino, Luis F. Bonchi, Filippo Valencia, Frank et al.

Contributors: Pino, Luis F. Bonchi, Filippo Valencia, Frank et al.

Source: Science of Computer Programming. 111:135-155

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Bisimulation, Concurrent constraint programming, Observational equivalence, Partition refinement, Software, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

File Description: application/pdf

Subexponential concurrent constraint programming

Authors: Pimentel, Elaine Gouvea Nigam, Vivek Vega, Carlos Alberto Olarte

Source: Theoretical Computer Science

Subject Terms: 13. Climate action, Proof systems, 0202 electrical engineering, electronic engineering, information engineering, Linear logic, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Concurrent constraint programming, 01 natural sciences

File Description: application/pdf

Access URL: https://www.nigam.info/docs/sccp.pdf
https://dblp.uni-trier.de/db/journals/tcs/tcs606.html#OlartePN15
https://repositorio.ufrn.br/bitstream/123456789/29776/1/SubexponentialConcurrentConstraint_VEGA_2015.pdf
https://repositorio.ufrn.br/jspui/handle/123456789/29776
https://www.sciencedirect.com/science/article/pii/S0304397515005411

Proving Concurrent Constraint Programming Correct, Revisited

Authors: Vega, Carlos Alberto Olarte Pimentel, Elaine Gouvea

Source: Electronic Notes in Theoretical Computer Science

Subject Terms: Linear logic, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Linear Logic, 01 natural sciences, Theoretical Computer Science, Fixed Points, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming, Proof Systems, Focusing, Computer Science(all)

File Description: application/pdf

Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Authors: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca et al.

Contributors: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca et al.

Source: Constraints. 13:66-90

Subject Terms: 0301 basic medicine, Stochastic Concurrent Constraint Programming, Computational Modelling of Biological Systems, Continuous Time Markov Chains, 03 medical and health sciences, Computational Modelling of Biological System, 0102 computer and information sciences, 01 natural sciences, 3. Good health

File Description: STAMPA; application/pdf

Access URL: http://www.dmi.units.it/~bortolu/files/conferences/bortolussi_WCB06.pdf
http://hdl.handle.net/11368/1707542
http://www.springerlink.com/content/pxq8473186375631/
http://hdl.handle.net/11368/1846266
https://dblp.uni-trier.de/db/journals/constraints/constraints13.html#BortolussiP08
https://link.springer.com/article/10.1007/s10601-007-9034-8
https://core.ac.uk/display/53710345
https://doi.org/10.1007/s10601-007-9034-8
http://www.dmi.units.it/~bortolu/files/conferences/bortolussi_WCB06.pdf
https://users.dimi.uniud.it/~agostino.dovier/WCBSI/SUMB140207/bortolussi.pdf
https://hdl.handle.net/11390/691405
https://doi.org/10.1007/s10601-007-9034-8
https://hdl.handle.net/11390/857883
https://hdl.handle.net/11368/1707542
https://hdl.handle.net/11368/1846266
http://www.springerlink.com/content/pxq8473186375631/
https://doi.org/10.1007/s10601-007-9034-8

Stochastic Concurrent Constraint Programming and Differential Equations

Authors: BORTOLUSSI, LUCA POLICRITI A. A. Aldini and F. van Breugel et al.

Contributors: BORTOLUSSI, LUCA POLICRITI A. A. Aldini and F. van Breugel et al.

Source: Electronic Notes in Theoretical Computer Science. 190:27-42

Subject Terms: 0301 basic medicine, 03 medical and health sciences, Stochastic Concurrent Constraint Programming, stochastic modeling, ordinary differential equations, biological systems, 0102 computer and information sciences, ordinary differential equation, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

File Description: ELETTRONICO; application/pdf

Access URL: http://hdl.handle.net/11368/1707523
http://www.sciencedirect.com/science/article/pii/S1571066107005567
http://www.dmi.units.it/~bortolu/files/slides/QAPL2007.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs190.html#BortolussiP07
https://www.dmi.units.it/~bortolu/files/conferences/BortolussiPolicriti_sCCPandODE.pdf
https://core.ac.uk/display/53705419
https://arts.units.it/handle/11368/1707523
https://www.sciencedirect.com/science/article/pii/S1571066107005567
https://hdl.handle.net/11390/850028
https://doi.org/10.1016/j.entcs.2007.07.003

Stochastic Concurrent Constraint Programming

Authors: BORTOLUSSI, LUCA A. Di Pierro and H. Wiklicky Bortolussi, Luca

Contributors: BORTOLUSSI, LUCA A. Di Pierro and H. Wiklicky Bortolussi, Luca

Source: Electronic Notes in Theoretical Computer Science. 164:65-80

Subject Terms: Stochastic Languages, Probabilistic Semantics, Continuous Time Markov Chains, 0102 computer and information sciences, 02 engineering and technology, Continuous Time, 01 natural sciences, Probabilistic Semantic, Theoretical Computer Science, Concurrent Constraint Programming, 0202 electrical engineering, electronic engineering, information engineering, Stochastic Language, Computer Science(all)

File Description: ELETTRONICO

Access URL: http://www.sciencedirect.com/science/article/pii/S1571066106004919
http://hdl.handle.net/11368/1707527
http://www.sciencedirect.com/science/article/pii/S1571066106004919
https://hdl.handle.net/11368/1707527
https://doi.org/10.1016/j.entcs.2006.07.012

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation

Authors: BORTOLUSSI, LUCA A. Aldini and C. Baier Bortolussi, Luca

Contributors: BORTOLUSSI, LUCA A. Aldini and C. Baier Bortolussi, Luca

Source: Electronic Notes in Theoretical Computer Science. 220:163-180

Subject Terms: 0301 basic medicine, 03 medical and health sciences, Stochastic Concurrent Constraint Programming, ordinary differential equations, biological systems, fluid-flow approximation, biological system, 0102 computer and information sciences, ordinary differential equation, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

File Description: ELETTRONICO

Access URL: http://hdl.handle.net/11368/1847326
http://www.sciencedirect.com/science/article/pii/S1571066108004623
https://dblp.uni-trier.de/db/journals/entcs/entcs220.html#Bortolussi08
https://core.ac.uk/display/81932405
http://www.dmi.units.it/~bortolu/files/conferences/bortolussi-SCCP-CME-preprint.pdf
https://www.dmi.units.it/~bortolu/files/conferences/bortolussi-SCCP-CME-preprint.pdf
https://www.sciencedirect.com/science/article/pii/S1571066108004623
http://www.sciencedirect.com/science/article/pii/S1571066108004623
https://doi.org/10.1016/j.entcs.2008.11.025
https://hdl.handle.net/11368/1847326

A Proof Theoretic Study of Soft Concurrent Constraint Programming

Authors: Pimentel, Elaine Gouvea Nigam, Vivek Vega, Carlos Alberto Olarte

Source: Theory and Practice of Logic Programming

Subject Terms: FOS: Computer and information sciences, F.3.1, D.3.2, Computer Science - Logic in Computer Science, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Linear Logic, 01 natural sciences, Logic in Computer Science (cs.LO), Soft Constraints, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming

File Description: application/pdf

Access URL: http://arxiv.org/pdf/1405.2329
http://arxiv.org/abs/1405.2329
https://dblp.uni-trier.de/db/journals/corr/corr1405.html#PimentelON14
http://www.journals.cambridge.org/abstract_S147106841400026X
https://repositorio.ufrn.br/jspui/handle/123456789/29779
https://doi.org/10.1017/S147106841400026X
https://repositorio.ufrn.br/bitstream/123456789/29779/1/ProofTheoreticStudy_VEGA_2014.pdf
https://arxiv.org/abs/1405.2329
https://ui.adsabs.harvard.edu/abs/2014arXiv1405.2329P/abstract

Dynamic Spaces in Concurrent Constraint Programming

Authors: Nigam, Vivek Pimentel, Elaine Gouvea Vega, Carlos Alberto Olarte

Source: Electronic Notes in Theoretical Computer Science

Subject Terms: Mobility, 2. Zero hunger, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Linear Logic, 01 natural sciences, Theoretical Computer Science, Distributed Spaces, Subexponentials, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming, Computer Science(all)

File Description: application/pdf

Access URL: https://core.ac.uk/display/82331881
http://www.nigam.info/docs/lsfa-2013.pdf
https://repositorio.ufrn.br/jspui/handle/123456789/29778
https://doi.org/10.1016/j.entcs.2014.06.008
https://repositorio.ufrn.br/bitstream/123456789/29778/1/DynamicSpacesProgramming_VEGA_2014.pdf
https://www.sciencedirect.com/science/article/abs/pii/S1571066114000541

Soft concurrent constraint programming

Authors: BISTARELLI, Stefano MONTANARI, UGO ROSSI, FRANCESCA

Source: Lecture Notes in Computer Science ISBN: 9783540433637
ACM transactions on computational logic 7 (2006): 563–589. doi:10.1145/1149114.1149118
info:cnr-pdr/source/autori:[1] Bistarelli S., [1] Montanari U., [3] Rossi F./titolo:Soft Concurrent Constraint Programming/doi:10.1145%2F1149114.1149118/rivista:ACM transactions on computational logic/anno:2006/pagina_da:563/pagina_a:589/intervallo_pagine:563–589/volume:7

Subject Terms: FOS: Computer and information sciences, D.1.3, D.3.1, Computer Science - Programming Languages, Computer Science - Artificial Intelligence, D.3.2, D.3.3, 0102 computer and information sciences, 02 engineering and technology, Concurrent constraint programming, 01 natural sciences, Languages, Constraints, Soft constraints, Concurrent constraint programming, Artificial Intelligence (cs.AI), Constraints, F.3.2, 0202 electrical engineering, electronic engineering, information engineering, Soft constraints, Programming Languages (cs.PL)

Access URL: http://arxiv.org/pdf/cs/0208008
https://link.springer.com/content/pdf/10.1007%2F3-540-45927-8_5.pdf
http://arxiv.org/abs/cs/0208008
https://core.ac.uk/display/54903193
http://dblp.uni-trier.de/db/journals/tocl/tocl7.html#BistarelliMR06
https://link.springer.com/chapter/10.1007/3-540-45927-8_5
https://dblp.uni-trier.de/db/journals/tocl/tocl7.html#BistarelliMR06
https://arxiv.org/pdf/cs/0208008
https://arxiv.org/abs/cs/0208008
https://rd.springer.com/chapter/10.1007%2F3-540-45927-8_5
https://dblp.uni-trier.de/db/conf/esop/esop2002.html#BistarelliMR02
https://core.ac.uk/display/53396659
https://link.springer.com/chapter/10.1007%2F3-540-45927-8_5
https://link.springer.com/content/pdf/10.1007%2F3-540-45927-8_5.pdf
https://ui.adsabs.harvard.edu/abs/2002cs........8008B/abstract
https://arxiv.org/pdf/cs/0208008
https://arxiv.org/abs/cs/0208008
https://hdl.handle.net/20.500.14243/24773
https://doi.org/10.1145/1149114.1149118
https://hdl.handle.net/11577/1366387
https://hdl.handle.net/11577/2485457
https://doi.org/10.1145/1149114.1149118
https://hdl.handle.net/11568/106176
https://hdl.handle.net/11391/142685
https://doi.org/10.1007/3-540-45927-8_5
https://hdl.handle.net/11391/120852
https://doi.org/10.1145/1149114.1149118

Models and emerging trends of concurrent constraint programming

Authors: Carlos Olarte Camilo Rueda Frank D. Valencia et al.

Contributors: Carlos Olarte Camilo Rueda Frank D. Valencia et al.

Source: Constraints. 18:535-578

Subject Terms: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Artificial intelligence, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Networks and Communications, Variety (cybernetics), Distributed Constraint Optimization Problems and Algorithms, Stochastic programming, Geometry, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Data science, Soft Constraints, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Concurrent engineering, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Cloud computing, Constraint programming, Constraint (computer-aided design), [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Mathematical optimization, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Computer science, Distributed computing, Operating system, Constraint Logic Programming, Computer Science, Physical Sciences, Constraint Optimization, Concurrent Constraint Programming, Program Analysis and Verification Techniques, Scheduling (production processes), Mathematics

File Description: application/pdf

Access URL: http://hal.archives-ouvertes.fr/docs/00/86/91/92/PDF/ccp-survey-article.pdf
https://inria.hal.science/hal-00869192v2/document
https://inria.hal.science/hal-00869192v2
https://doi.org/10.1007/s10601-013-9145-3
https://hal.inria.fr/hal-00869192v2
https://core.ac.uk/display/23707991
https://hal.inria.fr/hal-00869192/document
https://link.springer.com/article/10.1007%2Fs10601-013-9145-3

Towards Non-Threaded Concurrent Constraint Programming for Implementing Multimedia Interaction Systems

Authors: Universidad EAFIT. Departamento de Ingeniería de Sistemas I+D+I en Tecnologías de la Información y las Comunicaciones Toro, Mauricio

Source: International Journal of Advancements in Computing Technology

Index Terms: NTCC, CCP, interpreter, real-time, GECODE, GECOL, info:eu-repo/semantics/article, article, info:eu-repo/semantics/publishedVersion, publishedVersion, Artículo

URL: http://hdl.handle.net/10784/28607
https://arxiv.org/abs/1510.03057
https://arxiv.org/abs/1510.03057

Towards Non-Threaded Concurrent Constraint Programming for Implementing Multimedia Interaction Systems

Authors: Toro, Mauricio Universidad EAFIT. Departamento de Ingeniería de Sistemas I+D+I en Tecnologías de la Información y las Comunicaciones

Contributors: Toro, Mauricio Universidad EAFIT. Departamento de Ingeniería de Sistemas I+D+I en Tecnologías de la Información y las Comunicaciones

Source: International Journal of Advancements in Computing Technology

Subject Terms: CCP, interpreter, real-time, NTCC, GECOL, GECODE

Access URL: http://hdl.handle.net/10784/28607
https://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=4920

A concurrent constraint programming interpretation of access permissions

Authors: Olarte, Carlos Pimentel, Elaine Rueda, Camilo et al.

Contributors: Olarte, Carlos Pimentel, Elaine Rueda, Camilo et al.

Source: Theory and Practice of Logic Programming. 18:252-295

Subject Terms: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/pdf/1802.04695
http://arxiv.org/abs/1802.04695
http://ui.adsabs.harvard.edu/abs/2018arXiv180204695O/abstract
https://doi.org/10.1017/S1471068418000017
https://arxiv.org/pdf/1802.04695.pdf
https://arxiv.org/abs/1802.04695
https://dblp.uni-trier.de/db/journals/corr/corr1802.html#abs-1802-04695
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/concurrent-constraint-programming-interpretation-of-access-permissions/9ABBB236A634D3008F44A75EECB5C461