Výsledky vyhledávání - Process Calculi for Concurrent Constraint Programming

Belief, knowledge, lies and other utterances in an algebra for space and extrusion

Autoři: Frank D. Valencia Stefan Haar Michell Guzmán a další

Přispěvatelé: Frank D. Valencia Stefan Haar Michell Guzmán a další

Zdroj: Journal of Logical and Algebraic Methods in Programming. 86:107-133

Témata: Mobility, Concurrency theory, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Beliefs, Extrusion, [INFO.INFO-SI] Computer Science [cs]/Social and Information Networks [cs.SI], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Space, 0102 computer and information sciences, 16. Peace & justice, 01 natural sciences, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], [MATH.MATH-GN] Mathematics [math]/General Topology [math.GN], Epistemic Logic, [MATH.MATH-GN]Mathematics [math]/General Topology [math.GN], Process Calculi for Concurrent Constraint Programming, 0101 mathematics

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-01257113v4
https://inria.hal.science/hal-01257113v4/document
https://doi.org/10.1016/j.jlamp.2016.09.001

NTCCRT: A concurrent constraint framework for soft real-time music interaction

Autoři: Toro, M. Rueda, C. Agón, C. a další

Přispěvatelé: Toro, M. Rueda, C. Agón, C. a další

Zdroj: Journal of Theoretical and Applied Information Technology

Témata: Process calculi, Signal processing, Machine improvisation, Soft real-time, Computer music, Music interaction, Concurrent constraint programming (ccp)

Přístupová URL adresa: https://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=1695
http://hdl.handle.net/10784/28598

Timed Concurrent Constraint Programming for Analysing Biological Systems

Autoři: Julian Gutierrez Jorge A. Pérez Frank D. Valencia a další

Zdroj: Electronic Notes in Theoretical Computer Science. 171:117-137

Témata: 0301 basic medicine, 03 medical and health sciences, Partial Information, Verification of Biological Systems, Concurrent Constraint Programming (CCP), 0102 computer and information sciences, 01 natural sciences, Process Calculi, Theoretical Computer Science, Computer Science(all), 3. Good health

Přístupová URL adresa: https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://research.rug.nl/en/publications/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://doi.org/10.1016/j.entcs.2007.05.012

A framework for abstract interpretation of timed concurrent constraint programs

Autoři: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Přispěvatelé: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Zdroj: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. :207-218

Témata: Concurrent Constraint Programming Abstract Interpretation, Abstract interpretation, Denotational semantics, Process calculi, Reactive systems, Timed concurrent constraint programming, [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

Popis souboru: application/pdf

Přístupová URL adresa: http://hal.inria.fr/docs/00/42/66/08/PDF/ppdp21-olarte.pdf
https://inria.hal.science/inria-00426608v1
https://inria.hal.science/inria-00426608v1/document
https://doi.org/10.1145/1599410.1599436
https://dl.acm.org/doi/10.1145/1599410.1599436
http://portal.acm.org/citation.cfm?doid=1599410.1599436
https://hal.inria.fr/inria-00426608
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2009.html#FalaschiOP09
https://usiena-air.unisi.it/handle/11365/37187
https://hal.inria.fr/inria-00426608/document
https://hdl.handle.net/11365/37187
https://doi.org/10.1145/1599410.1599436

Abstract interpretation of temporal concurrent constraint programs

Autoři: Catuscia Palamidessi Carlos Olarte Moreno Falaschi a další

Přispěvatelé: Catuscia Palamidessi Carlos Olarte Moreno Falaschi a další

Zdroj: Theory and Practice of Logic Programming. 15:312-357

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], reactive systems, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Process calculi, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, Denotational semantics, F.3.1, D.3.2, process calculi, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Abstract interpretation, timed concurrent constraint programming, process calculi, abstract interpretation, denotational semantics, reactive systems, 16. Peace & justice, Logic in Computer Science (cs.LO), Reactive systems, 13. Climate action, Timed concurrent constraint programming, timed concurrent constraint programming, denotational semantics

Popis souboru: application/pdf; STAMPA

Přístupová URL adresa: http://arxiv.org/pdf/1312.2552
http://arxiv.org/abs/1312.2552
https://inria.hal.science/hal-00945462v1
https://arxiv.org/abs/1312.2552
https://hal.archives-ouvertes.fr/hal-01271663
https://repositorio.ufrn.br/jspui/handle/123456789/29777
https://doi.org/10.1017/S1471068413000641
http://ui.adsabs.harvard.edu/abs/2013arXiv1312.2552F/abstract
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abstract-interpretation-of-temporal-concurrent-constraint-programs/79AB54B8007AA797C1631A461FD7CE2B
https://dblp.uni-trier.de/db/journals/corr/corr1312.html#FalaschiOP13
http://journals.cambridge.org/article_S1471068413000641
https://doi.org/10.1017/S1471068413000641
https://hdl.handle.net/11365/46493

Deriving Labels and Bisimilarity for Concurrent Constraint Programming

Autoři: Aristizábal, Andrés Bonchi, Filippo PALAMIDESSI, CATUSCIA a další

Přispěvatelé: Aristizábal, Andrés Bonchi, Filippo PALAMIDESSI, CATUSCIA a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783642198045

Témata: Bisimilarity, Labelled Semantics, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, Theoretical Computer Science, Computer Science (all), 0102 computer and information sciences, 02 engineering and technology, Concurrent Constraint Programming, 01 natural sciences, Process Calculi

Popis souboru: application/pdf

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F978-3-642-19805-2_10.pdf
https://hal.inria.fr/hal-00546722/en
https://tel.archives-ouvertes.fr/INRIA/hal-00546722
https://hal.archives-ouvertes.fr/hal-00546722
https://link.springer.com/content/pdf/10.1007/978-3-642-19805-2_10.pdf
https://rd.springer.com/chapter/10.1007%2F978-3-642-19805-2_10
https://link.springer.com/chapter/10.1007/978-3-642-19805-2_10
https://hdl.handle.net/11568/900185
https://doi.org/10.1007/978-3-642-19805-2_10

Bisimilarity in Concurrent Constraint Programming

Autoři: Aristizabal P., Andres A. Valencia, Frank D. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik a další

Přispěvatelé: Aristizabal P., Andres A. Valencia, Frank D. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik a další

Témata: Behavioural Equivalence, Concurrency Theory, Operational Semantics, Process Calculi, Bisimilarity, Labelled Semantics, Concurrency, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Deriving Bisimulations, ddc:004, Concurrent Constraint Programming

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-00546857v1
https://dblp.uni-trier.de/db/conf/iclp/iclp2010.html#P10
https://drops.dagstuhl.de/opus/volltexte/2010/2602/
https://hal.archives-ouvertes.fr/hal-00546857/document
https://hal.archives-ouvertes.fr/hal-00546857
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236

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

Autoři: Acosta, Hugo Andrés López Hildebrandt, Thomas

Zdroj: Lecture Notes in Computer Science ISBN: 9783642028458

Témata: Mobility, Security, Type systems, Concurrent Constraint Programming, 7. Clean energy, Process Calculi

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/iclp/iclp2009.html#HildebrandtL09
https://rd.springer.com/chapter/10.1007/978-3-642-02846-5_34
https://link.springer.com/chapter/10.1007/978-3-642-02846-5_34
https://link.springer.com/content/pdf/10.1007/978-3-642-02846-5_34.pdf

Concurrent and Reactive Constraint Programming

Autoři: Gabbrielli, Maurizio Palamidessi, Catuscia Valencia, Frank a další

Přispěvatelé: Gabbrielli, Maurizio Palamidessi, Catuscia Valencia, Frank a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783642143083

Témata: [INFO.INFO-DC]Computer Science [cs]/Distributed, and Cluster Computing [cs.DC], Concurrency Theory, D.3.2, F.4.3, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Concurrent Constraint Programming, Parallel, Process Calculi

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.archives-ouvertes.fr/hal-00545256/file/25anniGPV.pdf
https://hal.science/hal-00545256v1
https://hal.science/hal-00545256v1/document
https://doi.org/10.1007/978-3-642-14309-0_11
https://hal.archives-ouvertes.fr/hal-00545256/document
http://www.lix.polytechnique.fr/%7Efvalenci/papers/gulp2010.pdf
https://dblp.uni-trier.de/db/conf/agp/gulp2010.html#GabbrielliPV10
https://doi.org/10.1007/978-3-642-14309-0_11
http://doi.org/10.1007/978-3-642-14309-0_11
https://hal.inria.fr/hal-00545256/en
https://hdl.handle.net/11585/94736

NTCCRT : A Concurrent Constraint Framework for Soft Real-Time Music Interaction

Autoři: Mauricio, Toro Rueda, Camilo Agon, Carlos a další

Přispěvatelé: Mauricio, Toro Rueda, Camilo Agon, Carlos a další

Zdroj: Journal of Theoretical & Applied Information Technology. 12/10/2015, Vol. 82 Issue 1, p184-193
Repositorio EAFIT
Universidad EAFIT
instacron:Universidad EAFIT

Témata: Music Interaction, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Soft Real-Time, Signal Processing, Computer Music, Concurrent Constraint Programming (ccp), Machine Improvisation, [INFO] Computer Science [cs], Process Calculi, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-01580493v1
http://hdl.handle.net/10784/7943

Decidability of infinite-state timed CCP processes and first-order LTL

Autoři: Frank D. Valencia

Zdroj: Theoretical Computer Science. 330:577-607

Témata: Specification and verification (program logics, model checking, etc.), Temporal logic, Decidability, 0102 computer and information sciences, 02 engineering and technology, First-order LTL, 01 natural sciences, Theoretical Computer Science, Process calculi, Decidability of theories and sets of sentences, Infinite-state systems, Timed concurrent constraint programming, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 0202 electrical engineering, electronic engineering, information engineering, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/2136589
https://doi.org/10.1016/j.tcs.2004.10.009

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming

Autoři: Camilo Rocha Frank D. Valencia Miguel Romero a další

Přispěvatelé: Camilo Rocha Frank D. Valencia Miguel Romero a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783319998398

Témata: 2. Zero hunger, 4. Education, 8. Economic growth, 11. Sustainability, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 15. Life on land, 16. Peace & justice, 7. Clean energy, 12. Responsible consumption

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.archives-ouvertes.fr/hal-01934953/file/main.pdf
https://hal.science/hal-01934953v1
https://dblp.uni-trier.de/db/conf/wrla/wrla2018.html#Ramirez0RV18
https://link.springer.com/chapter/10.1007/978-3-319-99840-4_13
https://hal.archives-ouvertes.fr/hal-01934953
https://hal.archives-ouvertes.fr/hal-01934953/document
https://doi.org/10.1007/978-3-319-99840-4_13
https://rd.springer.com/chapter/10.1007/978-3-319-99840-4_13

Bisimulation Techniques and Algorithms for Concurrent Constraint Programming

Autoři: Aristizábal, Andrés Aristizabal Pinzon, Andres Alberto

Přispěvatelé: Aristizábal, Andrés Aristizabal Pinzon, Andres Alberto

Témata: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], CCP, process calculi, labeled semantics, bisimilarity, saturation, reduction, partition refinement, concurrency

Popis souboru: application/pdf

Přístupová URL adresa: https://pastel.hal.science/pastel-00756952v1

NTCCRT: A concurrent constraint framework for soft real-time music interaction

Autoři: Universidad EAFIT. Departamento de Ingeniería de Sistemas I+D+I en Tecnologías de la Información y las Comunicaciones Toro, M. a další

Zdroj: Journal of Theoretical and Applied Information Technology

Témata: Computer music, Concurrent constraint programming (ccp), Machine improvisation, Music interaction, Process calculi, Signal processing, Soft real-time, info:eu-repo/semantics/article, article, info:eu-repo/semantics/publishedVersion, publishedVersion, Artículo

URL: http://hdl.handle.net/10784/28598
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84949509559&partnerID=40&md5=becfbe2dcf1652d0720ea6ad91b8f252
SCOPUS;2-s2.0-84949509559
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84949509559&partnerID=40&md5=becfbe2dcf1652d0720ea6ad91b8f252

Bisimilarity in Concurrent Constraint Programming

Autoři: Andres A. Aristizabal P. Aristizabal P., Andres A.

Témata: Concurrent Constraint Programming, Concurrency, Behavioural Equivalence, Bisimilarity, Process Calculi, Operational Semantics, Labelled Semantics, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

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

Timed Concurrent Constraint Programming for Analysing Biological Systems

Autoři: Gutiérrez, Julian Pérez, Jorge A. Rueda, Camilo a další

Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Jul2007, Vol. 171 Issue 2, p117-137. 21p.

Témata: Biological systems, Systems theory, Calculus, Mathematical analysis, Philosophy of biology

Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion

Autoři: Romero, Miguel Rocha, Camilo

Témata: Computer Science - Logic in Computer Science, text

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

A Declarative Framework for Security: Secure Concurrent Constraint Programming: Secure Concurrent Constraint Programming

Autoři: López, Hugo A. Palamidessi, Catuscia Pérez, Jorge Andrés a další

Přispěvatelé: López, Hugo A. Palamidessi, Catuscia Pérez, Jorge Andrés a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540366355

Témata: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: http://hal.archives-ouvertes.fr/docs/00/20/11/48/PDF/secureccp.pdf
https://hdl.handle.net/11370/623d07df-3ed4-42a0-8a81-c18f9aff6d5a
https://research.rug.nl/en/publications/623d07df-3ed4-42a0-8a81-c18f9aff6d5a
https://doi.org/10.1007/11799573_43
https://inria.hal.science/inria-00201148v1
https://inria.hal.science/inria-00201148v1/document
https://doi.org/10.1007/11799573_43
https://link.springer.com/content/pdf/10.1007/11799573_43.pdf
https://hal.inria.fr/inria-00201148/document
http://www.lix.polytechnique.fr/~fvalenci/papers/secureccp.pdf
https://rd.springer.com/chapter/10.1007/11799573_43
https://link.springer.com/chapter/10.1007/11799573_43
https://dblp.uni-trier.de/db/conf/iclp/iclp2006.html#LopezPPRV06
https://hdl.handle.net/11572/24497
http://www.easychair.org/FLoC-06/ICLP.html

Constraint-Based Concurrency and Beyond

Autoři: Kazunori Ueda

Zdroj: Electronic Notes in Theoretical Computer Science. 162:327-331

Témata: concurrent logic programming, LMNtal, concurrent constraint programming, hierarchical graph rewriting, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, constraint-based concurrency, mobility, multiset rewriting, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/entcs/entcs162.html#Ueda06
https://waseda.pure.elsevier.com/ja/publications/constraint-based-concurrency-and-beyond
https://www.sciencedirect.com/science/article/pii/S1571066106004567
https://core.ac.uk/display/82680481

CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.

Autoři: Hutchison, David Kanade, Takeo Kittler, Josef a další

Zdroj: Programming Languages & Systems (9783540713142); 2007, p18-32, 15p