Výsledky vyhľadávania - Concurrent Constraint Programming*

Local Spaces in Soft Concurrent Constraint Programming Oriented to Security

Autori: Bistarelli S. Santini F.

Zdroj: Lecture Notes in Computer Science ISBN: 9783031737084

Predmety: Soft CCP, Security, Local Space Functions

A Variant of Concurrent Constraint Programming on GPU

Autori: Talbot, Pierre Pinel, Frederic Bouvry, Pascal

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

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

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

Soft Concurrent Constraint Programming with Local Variables

Autori: Bussi L. Gadducci F. Santini F.

Zdroj: Lecture Notes in Computer Science ISBN: 9783031081453

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

Prí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

Autori: Fabio Gadducci Luis Fernando Pino Francesco Santini a ďalší

Prispievatelia: Fabio Gadducci Luis Fernando Pino Francesco Santini a ďalší

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

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

Prí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

Autori: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte a ďalší

Prispievatelia: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte a ďalší

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

Predmety: 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 súboru: application/pdf

Prí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

Autori: Pino, Luis F. Bonchi, Filippo Valencia, Frank D. a ďalší

Prispievatelia: Pino, Luis F. Bonchi, Filippo Valencia, Frank D. a ďalší

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

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

Prí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

Soft concurrent constraint programming

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

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

Prí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

Efficient algorithms for program equivalence for confluent concurrent constraint programming

Autori: Pino, Luis F. Bonchi, Filippo Valencia, Frank a ďalší

Prispievatelia: Pino, Luis F. Bonchi, Filippo Valencia, Frank a ďalší

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

Predmety: [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 súboru: application/pdf

Subexponential concurrent constraint programming

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

Zdroj: Theoretical Computer Science

Predmety: 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 súboru: application/pdf

Prí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

Proving Concurrent Constraint Programming Correct, Revisited

Autori: Vega, Carlos Alberto Olarte Pimentel, Elaine Gouvea

Zdroj: Electronic Notes in Theoretical Computer Science

Predmety: 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 súboru: application/pdf

Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Autori: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca a ďalší

Prispievatelia: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca a ďalší

Zdroj: Constraints. 13:66-90

Predmety: 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 súboru: STAMPA; application/pdf

Prí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

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

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

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

Predmety: 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 súboru: ELETTRONICO

Prí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

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

Zdroj: Theory and Practice of Logic Programming

Predmety: 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 súboru: application/pdf

Prí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

Stochastic Concurrent Constraint Programming and Differential Equations

Autori: BORTOLUSSI, LUCA POLICRITI A. A. Aldini and F. van Breugel a ďalší

Prispievatelia: BORTOLUSSI, LUCA POLICRITI A. A. Aldini and F. van Breugel a ďalší

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

Predmety: 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 súboru: ELETTRONICO; application/pdf

Prí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

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

Autori: 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émy: 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

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation

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

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

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

Predmety: 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 súboru: ELETTRONICO

Prí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

Autori: Carlos Olarte Camilo Rueda Frank D. Valencia a ďalší

Prispievatelia: Carlos Olarte Camilo Rueda Frank D. Valencia a ďalší

Zdroj: Constraints. 18:535-578

Predmety: 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 súboru: application/pdf

Prí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

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

Zdroj: Electronic Notes in Theoretical Computer Science

Predmety: 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 súboru: application/pdf

Prí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

Autori: Falaschi M. Gabbrielli M. Olarte C. a ďalší

Prispievatelia: Falaschi M. Gabbrielli M. Olarte C. a ďalší

Zdroj: Fundamenta Informaticae. 177:331-357

Predmety: 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 súboru: application/pdf; STAMPA

Prí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

Autori: Olarte, Carlos Pimentel, Elaine Rueda, Camilo a ďalší

Prispievatelia: Olarte, Carlos Pimentel, Elaine Rueda, Camilo a ďalší

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

Predmety: [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)

Prí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