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

1

Session-based concurrency, declaratively

Autori: Mauricio Cano Hugo A. López Jorge A. Pérez a ďalší

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

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

Popis súboru: application/pdf

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

Full Text Finder

Nájsť tento článok vo Web of Science

2

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

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

3

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

View record at OpenAIRE

Nájsť tento článok vo Web of Science

4

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

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

5

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

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

6

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

Autori: Guzmán, Michell Perchy, Salim Rueda, Camilo a ďalší

Prispievatelia: Guzmán, Michell Perchy, Salim Rueda, Camilo a ďalší

Zdroj: Theoretical Computer Science. 744:56-77

Popis súboru: application/pdf

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

Full Text Finder

Nájsť tento článok vo Web of Science

7

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

Autori: Toro, M. Rueda, C. Agón, C. a ďalší

Prispievatelia: Toro, M. Rueda, C. Agón, C. a ďalší

Zdroj: Journal of Theoretical and Applied Information Technology

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

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

View record at OpenAIRE

Nájsť tento článok vo Web of Science

8

Partition refinement for bisimilarity in CCP

Autori: Aristizabal, Andres Bonchi, Filippo Valencia, Frank D. a ďalší

Prispievatelia: Aristizabal, Andres Bonchi, Filippo Valencia, Frank D. a ďalší

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

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

Popis súboru: application/pdf

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

Nájsť tento článok vo Web of Science

9

On concurrent behaviors and focusing in linear logic

Autori: Vega, Carlos Alberto Olarte Pimentel, Elaine Gouvea

Zdroj: Theoretical Computer Science

Predmety: Fixed points, Multi-focusing, Proof systems, 0202 electrical engineering, electronic engineering, information engineering, Linear logic, 0102 computer and information sciences, 02 engineering and technology, Concurrent constraint programming, 01 natural sciences, Focusing

Popis súboru: application/pdf

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S0304397516304832
https://repositorio.ufrn.br/jspui/handle/123456789/29725
https://www.sciencedirect.com/science/article/abs/pii/S0304397516304832

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

10

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

Autori: Frank D. Valencia Stefan Haar Michell Guzmán a ďalší

Prispievatelia: Frank D. Valencia Stefan Haar Michell Guzmán a ďalší

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

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

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

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

11

A framework for abstract interpretation of timed concurrent constraint programs

Autori: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Prispievatelia: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

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

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

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

View record at OpenAIRE

Nájsť tento článok vo Web of Science

12

Hybrid behaviour of Markov population models

Autori: BORTOLUSSI, LUCA Bortolussi, Luca

Prispievatelia: BORTOLUSSI, LUCA Bortolussi, Luca

Zdroj: Information and computation
247 (2016): 37–86. doi:10.1016/j.ic.2015.12.001
info:cnr-pdr/source/autori:Bortolussi L./titolo:Hybrid behaviour of Markov population models/doi:10.1016%2Fj.ic.2015.12.001/rivista:Information and computation (Print)/anno:2016/pagina_da:37/pagina_a:86/intervallo_pagine:37–86/volume:247

Predmety: FOS: Computer and information sciences, Stochastic process algebra, Information System, Systems and Control (eess.SY), 0102 computer and information sciences, Electrical Engineering and Systems Science - Systems and Control, Quantitative Biology - Quantitative Methods, 01 natural sciences, Theoretical Computer Science, Computational Theory and Mathematic, FOS: Electrical engineering, electronic engineering, information engineering, Computer Science - Multiagent Systems, 0101 mathematics, Weak convergence, Quantitative Methods (q-bio.QM), Fluid approximation, Mean field, Stochastic concurrent constraint programming, Stochastic hybrid systems, Stochastic process algebras, Computer Science - Performance, Computer Science Applications1707 Computer Vision and Pattern Recognition, Information Systems, Computational Theory and Mathematics, 16. Peace & justice, Stochastic hybrid system, Performance (cs.PF), FOS: Biological sciences, Multiagent Systems (cs.MA)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/1211.1643
http://hdl.handle.net/11368/2882796
http://www.sciencedirect.com/science/article/pii/S0890540115001297

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

13

An Assertion Language for Slicing Constraint Logic Languages

Autori: Moreno Falaschi Carlos Olarte Olarte, Carlos

Prispievatelia: Moreno Falaschi Carlos Olarte Olarte, Carlos

Zdroj: Lecture Notes in Computer Science ISBN: 9783030138370

Predmety: 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, Assertion language, Concurrent Constraint Programming, Constraint Logic Programming, Debugging, Dynamic slicing, 01 natural sciences, Logic in Computer Science (cs.LO)

Prístupová URL adresa: http://arxiv.org/pdf/1808.04867
http://arxiv.org/abs/1808.04867
https://hal.science/hal-03568023v1
https://rd.springer.com/chapter/10.1007/978-3-030-13838-7_9
https://arxiv.org/abs/1808.04867
https://link.springer.com/chapter/10.1007%2F978-3-030-13838-7_9
https://dblp.uni-trier.de/db/journals/corr/corr1808.html#abs-1808-04867
https://arxiv.org/pdf/1808.04867.pdf
https://usiena-air.unisi.it/handle/11365/1088089
https://www.springer.com/series/558
https://doi.org/10.1007/978-3-030-13838-7_9
https://hdl.handle.net/11365/1088089

View record at OpenAIRE

Nájsť tento článok vo Web of Science

14

Timed soft concurrent constraint programs: An interleaved and a parallel approach

Autori: BISTARELLI, Stefano Gabbrielli, Maurizio Meo, MARIA CHIARA a ďalší

Zdroj: Theory and Practice of Logic Programming. 15:743-782

Predmety: FOS: Computer and information sciences, Computer Science - Programming Languages, interleaving, parallelism, Soft Concurrent Constraint Programming, Timed Concurrent Constraint Programming, Artificial Intelligence, Software, Hardware and Architecture, Theoretical Computer Science, Computational Theory and Mathematics, Computer Science - Artificial Intelligence, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, 6. Clean water, Artificial Intelligence (cs.AI), Concurrent constraint, Concurrent constraint programming, Coordinating agents, Correctness properties, Denotational semantics, Timed concurrent constraint programming, 0202 electrical engineering, electronic engineering, information engineering, interleaving, parallelism, Soft Concurrent Constraint Programming, Timed Concurrent Constraint Programming, Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/pdf/1403.0461
http://arxiv.org/abs/1403.0461
http://export.arxiv.org/pdf/1403.0461
https://ui.adsabs.harvard.edu/abs/2014arXiv1403.0461B/abstract
https://arxiv.org/abs/1403.0461
https://arxiv.org/pdf/1403.0461
https://arxiv.org/abs/1403.0461
https://arxiv.org/pdf/1403.0461
http://dblp.uni-trier.de/db/journals/corr/corr1403.html#BistarelliGMS14
https://dblp.uni-trier.de/db/journals/corr/corr1403.html#BistarelliGMS14
http://journals.cambridge.org/abstract_S1471068414000106

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

15

Abstract interpretation of temporal concurrent constraint programs

Autori: Catuscia Palamidessi Carlos Olarte Moreno Falaschi a ďalší

Prispievatelia: Catuscia Palamidessi Carlos Olarte Moreno Falaschi a ďalší

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

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

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

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

16

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

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

17

Simulating Signalling Pathways With BioWayS

Autori: Chiarugi D. FALASCHI, MORENO Guzman M. a ďalší

Prispievatelia: Chiarugi D. FALASCHI, MORENO Guzman M. a ďalší

Zdroj: Electronic Notes in Theoretical Computer Science. 293:17-34

Predmety: 0301 basic medicine, 03 medical and health sciences, Signaling pathways, 0206 medical engineering, biological systems, biological systems, Concurrent Constraint Programming, Signaling pathways, 02 engineering and technology, Concurrent Constraint Programming, Theoretical Computer Science, Computer Science(all), 3. Good health

Popis súboru: application/pdf; STAMPA

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S1571066113000182
https://doi.org/10.1016/j.entcs.2013.02.016
https://hdl.handle.net/11365/40029

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

18

Dynamic slicing for Concurrent Constraint Languages

Autori: Falaschi, Moreno Gabbrielli, Maurizio Olarte, Carlos a ďalší

Prispievatelia: Falaschi, Moreno Gabbrielli, Maurizio Olarte, Carlos a ďalší

Zdroj: ISSN: 0169-2968 ; Fundamenta Informaticae ; https://hal.archives-ouvertes.fr/hal-02423973 ; Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, In press.

Predmety: Concurrent Constraint Programming, Program slicing, Debugging, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Relation: hal-02423973; https://hal.archives-ouvertes.fr/hal-02423973; https://hal.archives-ouvertes.fr/hal-02423973/document; https://hal.archives-ouvertes.fr/hal-02423973/file/FI-main.pdf

Dostupnosť: https://hal.archives-ouvertes.fr/hal-02423973
https://hal.archives-ouvertes.fr/hal-02423973/document
https://hal.archives-ouvertes.fr/hal-02423973/file/FI-main.pdf

View record from BASE

Nájsť tento článok vo Web of Science

19