Search Results - "concurrent constraint programming"

1

eBook

Soft Concurrent Constraint Programming with Local Variables

Authors: Bussi, Laura^Aff9, Gadducci, Fabio^Aff9, Santini, Francesco^Aff10

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, ter Beek, Maurice H., editor^Aff7, Sirjani, Marjan, editor^Aff8

Source: Coordination Models and Languages : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. 13271:159-177

2

Academic Journal

Session-based concurrency, declaratively

Authors: Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda

Source: Cano, M, Lopez, H A, Perez, J A & Rueda, C 2022, ' Session-based concurrency, declaratively ', Acta Informatica, vol. 59, pp. 37–123 . https://doi.org/10.1007/s00236-021-00395-w

Subject Terms: Artificial intelligence, Computer Networks and Communications, Session types, Geometry, 0102 computer and information sciences, 02 engineering and technology, Type Inference, 01 natural sciences, Theoretical computer science, Artificial Intelligence, Concurrency, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Constraint (computer-aided design), Encoding (memory), Theory of computation, CC-PI, 4. Education, Expressiveness, 16. Peace & justice, Linear Logic, Computer science, Session (web analytics), Programming language, Algorithm, World Wide Web, Computational Theory and Mathematics, Computer Science, Physical Sciences, Concurrent Constraint Programming, Program Analysis and Verification Techniques, Correctness, Distributed Fault Tolerance and Consistency in Systems, Mathematics, Formal Methods in Software Verification and Control

File Description: application/pdf

Access URL: https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf
https://research.rug.nl/en/publications/7f3841f9-25f4-409c-a6ca-4d2e127342f8
https://hdl.handle.net/11370/7f3841f9-25f4-409c-a6ca-4d2e127342f8
https://doi.org/10.1007/s00236-021-00395-w
https://www.narcis.nl/publication/RecordID/oai%3Acwi.nl%3A30714
https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf
https://link.springer.com/article/10.1007/s00236-021-00395-w
https://curis.ku.dk/ws/files/297603582/Session_based_concurrency_declaratively.pdf

View record at OpenAIRE

3

Academic Journal

Dynamic Slicing for Concurrent Constraint Languages

Authors: Falaschi M., Gabbrielli M., Olarte C., Palamidessi C.

Contributors: Palamidessi, Catuscia, Department of Mathematics and Computer Science / Dipartimento di Scienze Matematiche e Informatiche 'Roberto Magari' (DSMI), Università degli Studi di Siena = University of Siena (UNISI), Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Universidade Federal do Rio Grande do Norte Natal (UFRN), Concurrency, Mobility and Transactions (COMETE), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Institut Polytechnique de Paris, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, The work of Olarte was funded by CNPq and CAPES (Brazil). The work of Palamidessi and Olarte was supported by the Regional Program STIC AMSUD 'EPIC: EPistemic Interactive Concurrency' and the project CLASSIC., STIC-AmSud project EPIC, COLCIENCIAS project CLASSIC, Falaschi, M., Gabbrielli, M., Olarte, C., Palamidessi, C.

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

View record at OpenAIRE Full Text Finder

4

Conference

Spacetime Programming : A Synchronous Language for Composable Search Strategies

Authors: Talbot, Pierre

Source: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019. :1-16

Availability: http://dl.acm.org/doi/10.1145/3354166.3354183

View record at ACM Digital Library

5

eBook

An Assertion Language for Slicing Constraint Logic Languages

Authors: Falaschi, Moreno^Aff14, Olarte, Carlos^Aff15

Contributors: Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Mesnard, Fred, editor^Aff12, Stuckey, Peter J., editor^Aff13

Source: Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. 11408:148-165

6

Academic Journal

Observational and behavioural equivalences for soft concurrent constraint programming

Authors: Fabio Gadducci, Luis Fernando Pino, Francesco Santini, Frank D. Valencia

Contributors: Valencia, Frank D., University of Pisa Italy = Università di Pisa Italia = Université de Pise Italie (UniPi), Dipartimento di Matematica e Informatica Perugia (DMI), Università degli Studi di Perugia = University of Perugia (UNIPG), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS), Concurrency, Mobility and Transactions (COMETE), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Institut Polytechnique de Paris, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Colciencias project 125171250031 CLASSIC

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

View record from ScienceDirect

Linked Full Text

7

Academic Journal

A Symbolic Model for Timed Concurrent Constraint Programming

Authors: Arias, Jaime, Guzman, Michell, Vega, Carlos Alberto Olarte

Contributors: ARIAS, Jaime

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

View record at OpenAIRE View record from ScienceDirect

Linked Full Text

8

Academic Journal

Characterizing right inverses for spatial constraint systems with applications to modal logic

Authors: Guzmán, Michell, Perchy, Salim, Rueda, Camilo, Valencia, Frank

Contributors: Valencia, Frank D., Concurrency, Mobility and Transactions (COMETE), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Institut Polytechnique de Paris, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Pontificia universidad Javeriana, Cali, This work has been partially supported by the Colciencias project 125171250031 CLASSIC, STIC Am-Sud 17-STIC-04 project EPIC, and COFINPRO2016 project 4473 CREATE.

Source: Theoretical Computer Science. 744:56-77

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-01675010/file/final-tcs.pdf
https://inria.hal.science/hal-01675010v2
https://hal.inria.fr/hal-01675010
https://hal.inria.fr/hal-01675010/document
https://dblp.uni-trier.de/db/journals/tcs/tcs744.html#GuzmanPRV18
https://www.sciencedirect.com/science/article/pii/S0304397518303426
https://hal.archives-ouvertes.fr/hal-01675010v1

View record at OpenAIRE View record from ScienceDirect

Linked Full Text

9

eBook

Slicing Concurrent Constraint Programs

Authors: Falaschi, Moreno^Aff15, Gabbrielli, Maurizio^Aff16, Olarte, Carlos^Aff17, Palamidessi, Catuscia^Aff18

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Hermenegildo, Manuel V, editor^Aff13, Lopez-Garcia, Pedro, editor^Aff14

Source: Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers. 10184:76-93

10

Academic Journal

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

Authors: Toro, M., Rueda, C., Agón, C., Assayag, G.

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

Source: Journal of Theoretical and Applied Information Technology

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

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

11

Academic Journal

On subexponentials, focusing and modalities in concurrent systems

Authors: Nigam, Vivek ^{a, d, ⁎}, Olarte, Carlos ^{b, ⁎}, Pimentel, Elaine ^{c, ⁎}

Source: In Theoretical Computer Science 12 September 2017 693:35-58

View record from ScienceDirect

Linked Full Text

12

Academic Journal

On concurrent behaviors and focusing in linear logic

Authors: Olarte, Carlos ^{a, ⁎}, Pimentel, Elaine ^{b, ⁎}

Source: In Theoretical Computer Science 15 July 2017 685:46-64

View record from ScienceDirect

Linked Full Text

13

Conference

A Demonstration of ToonTalk where Children Build Programs by Demonstration in a Game World

Authors: Kahn, Ken

Source: Proceedings of the The 15th International Conference on Interaction Design and Children. :676-679

Availability: http://dl.acm.org/doi/10.1145/2930674.2938611

View record at ACM Digital Library

14

eBook

A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet

Authors: Hamadou, Sardaouna^Aff4, Mullins, John^Aff4, Gherbi, Abdelouahed^Aff5

Contributors: Kacprzyk, Janusz, Series editor^Aff1, Bouabana-Tebibel, Thouraya, editor^Aff2, Rubin, Stuart H., editor^Aff3

Source: Theoretical Information Reuse and Integration. 446:85-111

15

Academic Journal

Partition refinement for bisimilarity in CCP

Authors: Aristizabal, Andres, Bonchi, Filippo, Valencia, Frank D., Pino, Luis Fernando

Contributors: Valencia, Frank D.

Source: Proceedings of the 27th Annual ACM Symposium on Applied Computing. :88-93

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Bisimilarity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 0202 electrical engineering, electronic engineering, information engineering, bisimilarity, concurrent constraint programming, partition refinement, Software, 0102 computer and information sciences, 02 engineering and technology, Concurrent Constraint Programming, 01 natural sciences, Partition Refinement, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/pdf/1212.1548
http://arxiv.org/abs/1212.1548
https://hal.science/hal-00641408v3/document
https://hal.science/hal-00641408v3
https://hal.inria.fr/hal-00641408
https://tel.archives-ouvertes.fr/INRIA/hal-00641408v3
http://www.lix.polytechnique.fr/%7Efvalenci/papers/sac12.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1212.html#abs-1212-1548
https://hal.archives-ouvertes.fr/hal-00641408v3

View record at OpenAIRE

16

Academic Journal

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

Authors: Frank D. Valencia, Stefan Haar, Michell Guzmán, Camilo Rueda, Salim Perchy

Contributors: PERCHY, Salim, Concurrency, Mobility and Transactions (COMETE), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Institut Polytechnique de Paris, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Modeling and Exploitation of Interaction and Concurrency (MEXICO), Laboratoire Spécification et Vérification Cachan (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay, École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Pontificia universidad Javeriana, Cali, Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS), ALLOCATION 7161 DIGICOSME, Colciencias project 125171250031 CLASSIC, ANR-12-IS02-0001,PACE,Processus non-standard: Analyse, Coinduction, Expressivité(2012), ANR-11-LABX-0045,DIGICOSME,Mondes numériques: Données, programmes et architectures distribués(2011), ANR-11-IDEX-0003,IPS,Idex Paris-Saclay(2011)

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

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