Search Results - Timed Concurrent Constraint Programming~

A Symbolic Model for Timed Concurrent Constraint Programming

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

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

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

Subject Terms: Model checking, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Temporal logic, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Concurrent constraint programming, 01 natural sciences, model checking, Model Checking, Theoretical Computer Science, temporal logic, Temporal Logic, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Computer Science(all)

File Description: application/pdf

Access URL: https://hal.science/hal-01257078v2
https://hal.science/hal-01257078v2/document
https://doi.org/10.1016/j.entcs.2015.04.010
https://core.ac.uk/display/81983992
https://www.sciencedirect.com/science/article/pii/S1571066115000146
https://dblp.uni-trier.de/db/journals/entcs/entcs312.html#AriasGO15
https://hal.archives-ouvertes.fr/hal-01257078
https://tel.archives-ouvertes.fr/INRIA/hal-01257078v1

A Framework for Timed Concurrent Constraint Programming with External Functions

Authors: María Alpuente Alicia Villanueva Bernhard Gramlich

Source: Electronic Notes in Theoretical Computer Science. 188:143-155

Subject Terms: Functional features, Case study, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Timed Concurrent Constraint language, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Access URL: http://www.logic.at/staff/gramlich/papers/prole06-entcs07.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs188.html#AlpuenteGV07
https://core.ac.uk/display/82755758
https://www.logic.at/staff/gramlich/papers/prole06-entcs07.pdf
https://www.sciencedirect.com/science/article/pii/S1571066107004859

Timed Concurrent Constraint Programming for Analysing Biological Systems

Authors: Julian Gutierrez Jorge A. Pérez Frank D. Valencia et al.

Source: Electronic Notes in Theoretical Computer Science. 171:117-137

Subject Terms: 0301 basic medicine, 03 medical and health sciences, Partial Information, Verification of Biological Systems, Concurrent Constraint Programming (CCP), 0102 computer and information sciences, 01 natural sciences, Process Calculi, Theoretical Computer Science, Computer Science(all), 3. Good health

Access URL: https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://research.rug.nl/en/publications/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://doi.org/10.1016/j.entcs.2007.05.012

A framework for abstract interpretation of timed concurrent constraint programs

Authors: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Contributors: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

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

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

File Description: application/pdf

Access 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

Compositional modelling of signalling pathways in timed concurrent constraint programming

Authors: Chiarugi, Davide Falaschi, Moreno Olarte, Carlos et al.

Contributors: Chiarugi, Davide Falaschi, Moreno Olarte, Carlos et al.

Source: Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology. :414-417

Subject Terms: [SDV.BIBS] Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], 0206 medical engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]

File Description: application/pdf

Access URL: https://hal.archives-ouvertes.fr/hal-00548213/file/bio-ntcc-cr.pdf
https://dl.acm.org/doi/10.1145/1854776.1854843
https://doi.org/10.1145/1854776.1854843
https://hal.archives-ouvertes.fr/hal-00548213/document
http://portal.acm.org/citation.cfm?doid=1854776.1854843
https://hal.archives-ouvertes.fr/hal-00548213
https://hal.inria.fr/hal-00548213/en

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

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

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

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

File Description: application/pdf

Access 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

Foundations of timed concurrent constraint programming

Authors: Vijay Saraswat Vineet Gupta Radha Jagadeesan

Source: Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science. :71-80

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Automatic verification of timed concurrent constraint programs

Authors: FALASCHI, MORENO Villanueva A. Falaschi, Moreno et al.

Contributors: FALASCHI, MORENO Villanueva A. Falaschi, Moreno et al.

Source: Theory and Practice of Logic Programming. 6:265-300

Subject Terms: FOS: Computer and information sciences, Model checking, Computer Science - Logic in Computer Science, Timed concurrent constraint programming, 0202 electrical engineering, electronic engineering, information engineering, Automatic verification, Reactive systems, Reactive system, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO)

File Description: application/pdf; STAMPA

Access URL: http://arxiv.org/pdf/cs/0505026
http://arxiv.org/abs/cs/0505026
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/automatic-verification-of-timed-concurrent-constraint-programs/E4F105EE3B2586C974ECBF75CC1B2C35
https://dblp.uni-trier.de/db/journals/corr/corr0505.html#abs-cs-0505026
https://arxiv.org/abs/cs/0505026
https://usiena-air.unisi.it/handle/11365/26186

A multimedia programming model based on timed concurrent constraint programming

Authors: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Contributors: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Source: Computer Systems Science and Engineering
Comput Syst Sci Eng

Subject Terms: Data structures, Declarative logic programming, Object oriented timed concurrent constraint programming (OO-TCCP), Real time systems, 02 engineering and technology, Modelling and Synchronisation of Multimedia Objects, Logic programming, Multimedia Programming, Declarative Programming, Object oriented programming, 0202 electrical engineering, electronic engineering, information engineering, Computer systems programming, (Applications of) Concurrent Constraint Programming, Constraint theory, Multimedia systems, Data flow analysis

Access URL: http://gnosis.library.ucy.ac.cy/handle/7/54730

Default timed concurrent constraint programming

Authors: Vijay Saraswat Radha Jagadeesan Vineet Gupta

Source: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95. :272-285

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: https://core.ac.uk/display/22613689
https://dblp.uni-trier.de/db/conf/popl/popl95.html#SaraswatJG95
http://www-cs-students.stanford.edu/~vgupta/publications/defaultTcc-popl95.pdf
https://dl.acm.org/doi/10.1145/199448.199513

On the expressiveness of Timed Concurrent Constraint Programming

Authors: Tini, Simone

Source: Electronic Notes in Theoretical Computer Science. 27:3-17

Subject Terms: General Computer Science, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Access URL: https://www.sciencedirect.com/science/article/pii/S1571066105802919
https://www.sciencedirect.com/science/article/abs/pii/S1571066105802919
https://dblp.uni-trier.de/db/journals/entcs/entcs27.html#Tini99
https://www.openaccessrepository.it/record/26423

Notes on Timed Concurrent Constraint Programming

Authors: Mogens Nielsen Frank D. Valencia Desel, Jörg et al.

Contributors: Mogens Nielsen Frank D. Valencia Desel, Jörg et al.

Source: Lecture Notes in Computer Science ISBN: 9783540222613
Nielsen, M & Valencia, F D 2004, Notes on Timed Concurrent Constraint Programming. in J Desel, W Reisig & G Rozenberg (eds), Lectures on Concurrency and Petri Nets : Advances in Petri Nets. Springer, Lecture Notes in Computer Science, vol. 3098, pp. 137-159, Advanced Course in Petri Nets, Eichsätt, Germany, 17/12/2010. https://doi.org/10.1007/978-3-540-27755-2_20

Subject Terms: 16. Peace & justice

Access URL: https://link.springer.com/chapter/10.1007%2F978-3-540-27755-2_20
https://dblp.uni-trier.de/db/conf/ac/acpn2003.html#NielsenV03
https://rd.springer.com/chapter/10.1007/978-3-540-27755-2_20
https://link.springer.com/10.1007/978-3-540-27755-2_20
https://pure.au.dk/portal/en/publications/bb0ac390-f622-11df-a891-000ea68e967b
https://doi.org/10.1007/978-3-540-27755-2_20

Universal Timed Concurrent Constraint Programming

Authors: Olarte, Carlos Palamidessi, Catuscia Valencia, Frank et al.

Contributors: Olarte, Carlos Palamidessi, Catuscia Valencia, Frank et al.

Source: Lecture Notes in Computer Science ISBN: 9783540746089

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

File Description: application/pdf

Access URL: http://www.lix.polytechnique.fr/~catuscia/papers/Carlos/iclp07DC.pdf
https://inria.hal.science/inria-00201066v1
https://inria.hal.science/inria-00201066v1/document
https://doi.org/10.1007/978-3-540-74610-2_47
https://rd.springer.com/chapter/10.1007/978-3-540-74610-2_47
https://hal.inria.fr/inria-00201066
https://hal.inria.fr/inria-00201066/document
https://link.springer.com/chapter/10.1007/978-3-540-74610-2_47
https://link.springer.com/content/pdf/10.1007/978-3-540-74610-2_47.pdf
https://tel.archives-ouvertes.fr/INRIA/inria-00201066v1

Non-determinism and Probabilities in Timed Concurrent Constraint Programming

Authors: Jorge A. Pérez Camilo Rueda

Source: Lecture Notes in Computer Science ISBN: 9783540899815

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: https://www.narcis.nl/publication/RecordID/oai%3Apure.rug.nl%3Apublications%2Fdd5ec656-33a4-43bc-87dd-1360203808b8
https://rd.springer.com/chapter/10.1007/978-3-540-89982-2_56
https://core.ac.uk/display/79281322
https://dblp.uni-trier.de/db/conf/iclp/iclp2008.html#PerezR08
https://link.springer.com/chapter/10.1007%2F978-3-540-89982-2_56
https://research.rug.nl/en/publications/non-determinism-and-probabilities-in-timed-concurrent-constraint-

Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL

Authors: Frank D. Valencia

Source: Lecture Notes in Computer Science ISBN: 9783540206422

Access URL: https://dblp.uni-trier.de/db/conf/iclp/iclp2003.html#Valencia03a
http://www.diva-portal.org/smash/record.jsf?pid=diva2:48252
https://rd.springer.com/chapter/10.1007/978-3-540-24599-5_29
https://link.springer.com/chapter/10.1007/978-3-540-24599-5_29
https://core.ac.uk/display/20938451

Abstract interpretation of temporal concurrent constraint programs

Authors: Catuscia Palamidessi Carlos Olarte Moreno Falaschi et al.

Contributors: Catuscia Palamidessi Carlos Olarte Moreno Falaschi et al.

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

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

File Description: application/pdf; STAMPA

Access 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

Timed Concurrent Constraint Programming for Analysing Biological Systems

Authors: Gutierrez, Julian Pérez, Jorge A. Rueda, Camilo et al.

Source: Gutierrez, J, Pérez, J A, Rueda, C & Valencia, F D 2007, 'Timed Concurrent Constraint Programming for Analysing Biological Systems', Electronic Notes in Theoretical Computer Science, vol. 171, no. 2, pp. 117-137.

Index Terms: article

URL: https://research.rug.nl/en/publications/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://doi.org/10.1016/j.entcs.2007.05.012
https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://pure.rug.nl/ws/files/184120815/Timed_Concurrent_Constraint_Programming_for_Analysing_Biological_Systems.pdf
https://www.scopus.com/pages/publications/34250852244
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.entcs.2007.05.012
info:eu-repo/semantics/altIdentifier/hdl/https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a
info:eu-repo/semantics/altIdentifier/pissn/1571-0661

A Causal Semantics for Timed Concurrent Constraint Programming

Authors: MAGGIOLO SCHETTINI A. TINI, SIMONE

Access URL: https://hdl.handle.net/11383/1490753

Two Semantics for Timed Concurrent Constraint Programming

Authors: MAGGIOLO SCHETTINI A. TINI, SIMONE

Access URL: https://hdl.handle.net/11383/6188

A Framework for Timed Concurrent Constraint Programming with External Functions

Authors: M. Alpuente B. Gramlich A. Villanueva et al.

Contributors: M. Alpuente B. Gramlich A. Villanueva et al.

Source: http://www.dsic.upv.es/~villanue/pub/AGV07.pdf.

Subject Terms: Timed Concurrent Constraint language, Functional features, Case study

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.8732; http://www.dsic.upv.es/~villanue/pub/AGV07.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.8732
http://www.dsic.upv.es/~villanue/pub/AGV07.pdf