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: 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

Probabilistic extension to the concurrent constraint factor oracle model for music improvisation

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.

Zdroj: Inteligencia Artificial

Témata: Artificial intelligence, C++ (programming language), Calculations, Computer software, Learning systems, Semantics, Ccfomi, Concurrent constraints programming, Factor oracle, Gecode, Machine improvisations, Ntcc, Pntcc, Real time, Concurrency control, info:eu-repo/semantics/article, article, info:eu-repo/semantics/publishedVersion, publishedVersion, Artículo

URL: http://hdl.handle.net/10784/28609
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84988648802&doi=10.4114%2fia.v18i56.1122&partnerID=40&md5=34db4001439ce8a83836427b15226fca
DOI;10.4114/ia.v18i56.1122
SCOPUS;2-s2.0-84988648802
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84988648802&doi=10.4114%2fia.v18i56.1122&partnerID=40&md5=34db4001439ce8a83836427b15226fca

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

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

Open Bisimulation for the Concurrent Constraint Pi-Calculus.

Autoři: Buscemi, Maria Grazia Montanari, Ugo

Zdroj: Programming Languages & Systems (9783540787389); 2008, p254-268, 15p

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

Autoři: Universidad EAFIT. Departamento de Ingeniería de Sistemas Asstt Prof., Department of Informatics and Systems, UNIVERSIDAD EAFIT, Colombia Prof., Department of Computer Science, PONTIFICIA UNIVERSIDAD JAVERIANA CALI, Colombia a další

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

Témata: Concurrent Constraint Programming (ccp), Soft Real-Time, Machine Improvisation, Signal Processing, Music Interaction, Computer Music, Process Calculi, info:eu-repo/semantics/article, article, info:eu-repo/semantics/publishedVersion, publishedVersion, Artículo

URL: http://hdl.handle.net/10784/7943
http://www.jatit.org/volumes/Vol82No1/20Vol82No1.pdf
Journal of Theoretical & Applied Information Technology. 12/10/2015, Vol. 82 Issue 1, p184-193
http://www.jatit.org/volumes/Vol82No1/20Vol82No1.pdf

Types for secure pattern matching with local knowledge in universal concurrent constraint programming

Autoři: Hildebrandt, Thomas López, Hugo A.

Zdroj: Hildebrandt , T & López , H A 2009 , Types for secure pattern matching with local knowledge in universal concurrent constraint programming . in Logic Programming - 25th International Conference, ICLP 2009, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 5649 LNCS , pp. 417-431 , 25th International Conference on Logic Programming, ICLP 2009 , Pasadena, CA , United States , 14/07/2009 .

Témata: Concurrent Constraint Programming, Mobility, Process Calculi, Security, Type systems, contributionToPeriodical

URL: https://researchprofiles.ku.dk/da/publications/ea574697-9a19-458a-a8c1-20b2542ab9f6
https://doi.org/10.1007/978-3-642-02846-5_34
http://www.scopus.com/inward/record.url?scp=69949138638&partnerID=8YFLogxK

A Declarative Framework for Security: Secure Concurrent Constraint Programming.

Autoři: Etalle, Sandro Truszczyński, Mirosław López, Hugo A. a další

Zdroj: Logic Programming (9783540366355); 2006, p449-450, 2p

Weak CCP bisimilarity with strong procedures.

Autoři: Pino, Luis F. Aristizábal, Andrés Bonchi, Filippo a další

Zdroj: Science of Computer Programming. Mar2015, Vol. 100, p84-104. 21p.

Témata: *CONSTRAINT programming, *INFORMATION theory, *QUERYING (Computer science), *ALGORITHMS, *COMPUTER research

On Recursion, Replication and Scope Mechanisms in Process Calculi.

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

Zdroj: Formal Methods for Components & Objects (978-3-540-74791-8); 2007, p185-206, 22p

Dynamic Slicing for Concurrent Constraint Languages.

Autoři: Falaschi, Moreno Gabbrielli, Maurizio Olarte, Carlos a další

Zdroj: Fundamenta Informaticae; 2020, Vol. 177 Issue 3/4, p331-357, 27p

Témata: CONSTRAINT programming, DEBUGGING, LANGUAGE & languages

A concurrent constraint programming interpretation of access permissions.

Autoři: OLARTE, CARLOS PIMENTEL, ELAINE RUEDA, CAMILO

Zdroj: Theory & Practice of Logic Programming; Mar2018, Vol. 18 Issue 2, p252-295, 44p

Témata: OBJECT-oriented programming languages, COMPUTER programming, AUTOMATIC theorem proving, ARTIFICIAL intelligence, COMPUTER software

Models and emerging trends of concurrent constraint programming.

Autoři: Olarte, Carlos Rueda, Camilo Valencia, Frank

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

A Proof Theoretic Study of Soft Concurrent Constraint Programming.

Autoři: PIMENTEL, ELAINE OLARTE, CARLOS NIGAM, VIVEK a další

Zdroj: Theory & Practice of Logic Programming; Jul2014, Vol. 14 Issue 4/5, p649-663, 15p

Témata: CONSTRAINT programming, PROOF theory, MATHEMATICAL models, LOGIC programming languages, PROBLEM solving, FUZZY logic

Observational equivalences for linear logic concurrent constraint languages.

Autoři: HAEMMERLÉ, RÉMY

Zdroj: Theory & Practice of Logic Programming; Jul2011, Vol. 11 Issue 4/5, p469-485, 17p

Témata: CONSTRAINT programming, LOGIC programming, EQUIVALENCE relations (Set theory), BISIMULATION, COMPUTER science, LINEAR systems

Abstract interpretation of temporal concurrent constraint programs.

Autoři: FALASCHI, MORENO OLARTE, CARLOS PALAMIDESSI, CATUSCIA

Zdroj: Theory & Practice of Logic Programming; May2015, Vol. 15 Issue 3, p312-357, 46p

Témata: CONSTRAINT programming, COMPUTER security, DENOTATIONAL semantics, DATA flow computing, DEBUGGING, LOGIC programming

Pardis: a process calculus for parallel and distributed programming in Haskell.

Autoři: Blöcker, Christopher Hoffmann, Ulrich

Zdroj: Journal of Supercomputing; Apr2018, Vol. 74 Issue 4, p1473-1484, 12p

Témata: HASKELL (Computer program language), DISTRIBUTED computing, PARALLEL programming, DOMAIN-specific programming languages, ABSTRACTION (Computer science)