Suchergebnisse - "Concurrent constraint programming"

1

Session-based concurrency, declaratively

Autoren: Mauricio Cano Hugo A. López Jorge A. Pérez et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Full Text Finder

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

2

Dynamic Slicing for Concurrent Constraint Languages

Autoren: Falaschi M. Gabbrielli M. Olarte C. et al.

Weitere Verfasser: Falaschi M. Gabbrielli M. Olarte C. et al.

Quelle: Fundamenta Informaticae. 177:331-357

Schlagwörter: 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

Dateibeschreibung: application/pdf; STAMPA

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

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

3

Soft Concurrent Constraint Programming with Local Variables

Autoren: Bussi L. Gadducci F. Santini F.

Quelle: Lecture Notes in Computer Science ISBN: 9783031081453

Schlagwörter: 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

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

Autoren: Fabio Gadducci Luis Fernando Pino Francesco Santini et al.

Weitere Verfasser: Fabio Gadducci Luis Fernando Pino Francesco Santini et al.

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

Schlagwörter: 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

Zugangs-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 at OpenAIRE

Full Text Finder

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

5

A Symbolic Model for Timed Concurrent Constraint Programming

Autoren: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte et al.

Weitere Verfasser: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte et al.

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

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

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

Autoren: Guzmán, Michell Perchy, Salim Rueda, Camilo et al.

Weitere Verfasser: Guzmán, Michell Perchy, Salim Rueda, Camilo et al.

Quelle: Theoretical Computer Science. 744:56-77

Dateibeschreibung: application/pdf

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

Full Text Finder

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

7

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

Autoren: Toro, M. Rueda, C. Agón, C. et al.

Weitere Verfasser: Toro, M. Rueda, C. Agón, C. et al.

Quelle: Journal of Theoretical and Applied Information Technology

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

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

Autoren: Aristizabal, Andres Bonchi, Filippo Valencia, Frank D. et al.

Weitere Verfasser: Aristizabal, Andres Bonchi, Filippo Valencia, Frank D. et al.

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

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

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

9

On concurrent behaviors and focusing in linear logic

Autoren: Vega, Carlos Alberto Olarte Pimentel, Elaine Gouvea

Quelle: Theoretical Computer Science

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Autoren: Frank D. Valencia Stefan Haar Michell Guzmán et al.

Weitere Verfasser: Frank D. Valencia Stefan Haar Michell Guzmán et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Autoren: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Weitere Verfasser: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Autoren: BORTOLUSSI, LUCA Bortolussi, Luca

Weitere Verfasser: BORTOLUSSI, LUCA Bortolussi, Luca

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

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

Autoren: Moreno Falaschi Carlos Olarte Olarte, Carlos

Weitere Verfasser: Moreno Falaschi Carlos Olarte Olarte, Carlos

Quelle: Lecture Notes in Computer Science ISBN: 9783030138370

Schlagwörter: 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)

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

Autoren: BISTARELLI, Stefano Gabbrielli, Maurizio Meo, MARIA CHIARA et al.

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

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

Autoren: Catuscia Palamidessi Carlos Olarte Moreno Falaschi et al.

Weitere Verfasser: Catuscia Palamidessi Carlos Olarte Moreno Falaschi et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf; STAMPA

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

Autoren: BISTARELLI, Stefano MONTANARI, UGO ROSSI, FRANCESCA

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

Schlagwörter: 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)

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

Autoren: Chiarugi D. FALASCHI, MORENO Guzman M. et al.

Weitere Verfasser: Chiarugi D. FALASCHI, MORENO Guzman M. et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf; STAMPA

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

Autoren: Falaschi, Moreno Gabbrielli, Maurizio Olarte, Carlos et al.

Weitere Verfasser: Falaschi, Moreno Gabbrielli, Maurizio Olarte, Carlos et al.

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

Schlagwörter: 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

Verfügbarkeit: 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