Výsledky vyhledávání - concurrent constraint programming

Local Spaces in Soft Concurrent Constraint Programming Oriented to Security

Autoři: Bistarelli S. Santini F.

Zdroj: Lecture Notes in Computer Science ISBN: 9783031737084

Témata: Soft CCP, Security, Local Space Functions

A Variant of Concurrent Constraint Programming on GPU

Autoři: Talbot, Pierre Pinel, Frederic Bouvry, Pascal

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

Témata: 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)

Přístupová URL adresa: http://arxiv.org/abs/2207.12116
http://orbilu.uni.lu/handle/10993/51988

Soft Concurrent Constraint Programming with Local Variables

Autoři: Bussi L. Gadducci F. Santini F.

Zdroj: Lecture Notes in Computer Science ISBN: 9783031081453

Témata: 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

Přístupová URL adresa: 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

Autoři: Fabio Gadducci Luis Fernando Pino Francesco Santini a další

Přispěvatelé: Fabio Gadducci Luis Fernando Pino Francesco Santini a další

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

Témata: 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

Přístupová URL adresa: 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

Autoři: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte a další

Přispěvatelé: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte a další

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

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Pino, Luis F. Bonchi, Filippo Valencia, Frank D. a další

Přispěvatelé: Pino, Luis F. Bonchi, Filippo Valencia, Frank D. a další

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

Témata: [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

Přístupová URL adresa: 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

Autoři: Pino, Luis F. Bonchi, Filippo Valencia, Frank a další

Přispěvatelé: Pino, Luis F. Bonchi, Filippo Valencia, Frank a další

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

Témata: [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]

Popis souboru: application/pdf

Subexponential concurrent constraint programming

Autoři: Pimentel, Elaine Gouvea Nigam, Vivek Vega, Carlos Alberto Olarte

Zdroj: Theoretical Computer Science

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Soft concurrent constraint programming

Autoři: BISTARELLI, Stefano MONTANARI, UGO ROSSI, FRANCESCA

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

Témata: 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)

Přístupová URL adresa: 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

Proving Concurrent Constraint Programming Correct, Revisited

Autoři: Vega, Carlos Alberto Olarte Pimentel, Elaine Gouvea

Zdroj: Electronic Notes in Theoretical Computer Science

Témata: 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)

Popis souboru: application/pdf

Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Autoři: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca a další

Přispěvatelé: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca a další

Zdroj: Constraints. 13:66-90

Témata: 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

Popis souboru: STAMPA; application/pdf

Přístupová URL adresa: 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

Autoři: BORTOLUSSI, LUCA A. Di Pierro and H. Wiklicky Bortolussi, Luca

Přispěvatelé: BORTOLUSSI, LUCA A. Di Pierro and H. Wiklicky Bortolussi, Luca

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

Témata: 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)

Popis souboru: ELETTRONICO

Přístupová URL adresa: 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

A Proof Theoretic Study of Soft Concurrent Constraint Programming

Autoři: Pimentel, Elaine Gouvea Nigam, Vivek Vega, Carlos Alberto Olarte

Zdroj: Theory and Practice of Logic Programming

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

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

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

Zdroj: International Journal of Advancements in Computing Technology

Témata: 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

Stochastic Concurrent Constraint Programming and Differential Equations

Autoři: BORTOLUSSI, LUCA POLICRITI A. A. Aldini and F. van Breugel a další

Přispěvatelé: BORTOLUSSI, LUCA POLICRITI A. A. Aldini and F. van Breugel a další

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

Témata: 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)

Popis souboru: ELETTRONICO; application/pdf

Přístupová URL adresa: 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

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation

Autoři: BORTOLUSSI, LUCA A. Aldini and C. Baier Bortolussi, Luca

Přispěvatelé: BORTOLUSSI, LUCA A. Aldini and C. Baier Bortolussi, Luca

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

Témata: 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)

Popis souboru: ELETTRONICO

Přístupová URL adresa: 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

Models and emerging trends of concurrent constraint programming

Autoři: Carlos Olarte Camilo Rueda Frank D. Valencia a další

Přispěvatelé: Carlos Olarte Camilo Rueda Frank D. Valencia a další

Zdroj: Constraints. 18:535-578

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Dynamic Spaces in Concurrent Constraint Programming

Autoři: Nigam, Vivek Pimentel, Elaine Gouvea Vega, Carlos Alberto Olarte

Zdroj: Electronic Notes in Theoretical Computer Science

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: 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

Dynamic Slicing for Concurrent Constraint Languages

Autoři: Falaschi M. Gabbrielli M. Olarte C. a další

Přispěvatelé: Falaschi M. Gabbrielli M. Olarte C. a další

Zdroj: Fundamenta Informaticae. 177:331-357

Témata: 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

Popis souboru: application/pdf; STAMPA

Přístupová URL adresa: 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

A concurrent constraint programming interpretation of access permissions

Autoři: Olarte, Carlos Pimentel, Elaine Rueda, Camilo a další

Přispěvatelé: Olarte, Carlos Pimentel, Elaine Rueda, Camilo a další

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

Témata: [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)

Přístupová URL adresa: 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